include('header.php');?>
Bruno Courcelle (Bordeaux): Graph Structure and Monadic Second-order Logic (tutorial)
Slides: part 1,
part 2;
excercises
Markus Holzer (Muenchen): Nondeterministic Finite Automata: Recent Developments (tutorial)
Sanjay Jain (Singapore): Role of Hypothesis Spaces in Inductive Inference
Kai Salomaa (Kingston, Canada): State Complexity of Nested Word Automata
Thomas Zeugmann (Sapporo): Recent Developments in Algorithmic Teaching
include('footer.php');?>