Conference Chairs

• Anthony W. Lin, University of Kaiserslautern- co-chair
• Georg Zetzsche, Max Planck Institute for Software Systems (MPI-SWS) - co-chair
• Igor Potapov, University of Liverpool - Publication chair

Program Committee

• C. Aiswarya (Chennai Mathematical Institute, IN)
• Mohamed Faouzi Atig (Uppsala University, SE)
• Udi Boker (Reichman University, Herzliya, IL)
• Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, FR)
• Michaël Cadilhac (DePaul University, US)
• Yu-Fang Chen (Academia Sinica, TW)
• Stéphane Demri (CNRS, LMF, ENS Paris-Saclay, FR)
• Moses Ganardi (MPI-SWS, DE)
• Julian Gutierrez (Monash University, AU)
• Christoph Haase (University of Oxford, UK)
• Peter Habermehl (IRIF, Université Paris Cité, FR)
• Piotr Hofman (University of Warsaw, PL)
• Naoki Kobayashi (University of Tokyo, JP)
• Dietrich Kuske (TU Ilmenau, DE)
• Jérôme Leroux (CNRS, LaBRI, Université de Bordeaux, FR)
• K. Narayan Kumar (Chennai Mathematical Institute, IN)
• Guillermo Perez (University of Antwerp, BE)
• Igor Potapov (University of Liverpool, UK)
• Gabriele Puppis (Udine University, IT)
• Karin Quaas (University of Leipzig, DE)
• Krishna S (IIT Bombay, IN)
• Mahsa Shirmohammadi (CNRS, IRIF, Université Paris Cité, FR)
• Daniel Stan (University of Kaiserslautern, DE)
• Alwen Tiu (Australian National University, AU)
• Zhilin Wu (Chinese Academy of Sciences, CN)

Organising Committee

• Ashwani Anand, Max Planck Institute for Software Systems (MPI-SWS)
• Anthony W. Lin, University of Kaiserslautern
• Daniel Stan, University of Kaiserslautern
• Georg Zetzsche, Max Planck Institute for Software Systems (MPI-SWS)

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)