SSFLA - Slides
- Franz Baader (Dresden), Automata and Logic
- Thierry Lecroq (Rouen), Text Searching and Indexing
- Rupak Majumdar (Kaiserslautern), Software Model Checking
- Bernhard Steffen (Dortmund), Automata Learning from Theory to Application
- Wolfgang Thomas (Aachen), omega-Automata and Infinite Games
- Sheng Yu (London ON), Finite Automata and Regular Languages