Many standard problems in Computer Science can be rephrased as algorithmic questions on infinite-state systems, broadly construed. The latter is a very active research domain, cutting across a wide range of areas, including graph theory, dynamical systems, automata, game theory, databases, logic, complexity, etc...


This workshop, organised by Joel Ouaknine and hosted by Prakash Panangaden, brings together experts in these and related areas. The aim is to discuss ongoing work, research directions, open problems, and to foster new collaborations. The workshop will take place at McGill University's Bellairs Research Institute, located directly on a beautiful beach in Barbados. The Bellairs Institute provides basic accommodation (in double occupancy only), and participation is by invitation.


We will aim to give speakers ample time to describe background and get to technical details. There will be lots of opportunities for extensive discussions; we will not cram the schedule with a series of short talks. Talks are given on primitive chalkboards, and therefore speakers should not prepare slides for a data projector. There will be a parallel workshop on Coalgebras in Quantum Physics organised by Helle Hvid Hansen and Prakash Panangaden.