Invited Speakers

• Mikołaj Bojańczyk (Warsaw)
  Factorization Forest
• Paul Gastin (Cachan)
  Weighted versus Probabilistic Logics
• Tero Harju (Turku)
  Post Correspondence Problem and Small Dimensional Matrices
• Christos Kapoutsis (Nicosia)
  Size Complexity of Two-Way Finite Automata
• Benjamin Steinberg (Ottawa)
  Matrix mortality and the Pin-Cerny Conjecture