Invited Speakers

• Laura Kovács (Vienna University of Technology, Austria)
  Loop to Reach Solvability
  
• Antti Kuusisto (Tampere University, Finland)
  Timed reachability in logic
  
• Igor Potapov (University of Liverpool, UK)
  TBA
  
• Ilkka Törmä (University of Turku, Finland)
  Reachability Problems Arising from Mixing Properties of Shift Spaces
  
• James Worrell (University of Oxford, UK)
  TBA