Conference chairs

• - Olivier Bournez (IPParis, Ecole Polytechnique, LIX, FR)
• - Enrico Formenti (Univ. C�te d'Azur, FR)

Program Committee

• - Parosh Aziz Abdulla (Uppsala University, Sweden)
• - Udi Boker (Reichman University, Herzliya, Israel)
• - Christel Baier (Technical University of Dresden, Germany)
• - Veronica Becher (Universidad de Buenos Aires, Argentina)
• - Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, France)
• - Olivier Bournez (Ecole Polytechnique, LIX, IPP, France)
• - Emilie Charlier (Universit� de Li�ge Belgium)
• - St�phane Demri (CNRS, LMF, ENS Paris-Saclay, France)
• - Javier Esparza (Technical University of Munich, Germany)
• - Enrico Formenti (Universit� C�te d'Azur, France)
• - Gilles Geeraerts (Universit� libre de Bruxelles, Belgium)
• - Roberto Giacobazzi (University of Verona, Italy)
• - Daniel Gra�a (University of Algarve, Portugal)
• - Christoph Haase (University of Oxford, United Kingdon)
• - Peter Habermehl (IRIF, Universit� Paris Cit�, France)
• - Vesa Halava (University of Turku, Finland)
• - Mika Hirvensalo (Department of Mathematics and Statistics, University of Turku, Finland)
• - Akitoshi Kawamura (Kyoto Univeristy, Japan)
• - Dietrich Kuske (Technical University of Ilmenau, Germany)
• - Martin Kutrib (University of Giessen, Germany)
• - J�r�me Leroux (CNRS, LaBRI, Universit� de Bordeaux, France)
• - Igor Potapov (University of Liverpool, United Kingdom)
• - Tali (Nathalie) Sznajder (LIP6, Sorbonne Universit�, France)

Organizing Committee

• - Olivier Bournez (IPParis, Ecole Polytechnique, LIX, FR)
• - Fran�ois Dor� (Univ. C�te d'Azur, FR)
• - Enrico Formenti (Univ. C�te d'Azur, FR)
• - Igor Potapov (Univ. Liverpool, UK)

Steering Committee

• Parosh Aziz Abdulla (SE)
• Olivier Bournez (FR)
• Vesa Halava (FI)
• Alain Finkel (FR)
• Oscar Ibarra (USA)
• Juhani Karhumaki (FI)
• J�r�me Leroux (FR)
• Jo�l Ouaknine (DE)
• Igor Potapov (UK)
• James Worrell (UK)