Committees

Program Committee

• Bahareh Afshari (University of Gothenburg & University of Amsterdam)
• Carlos Areces (FaMAF - Universidad Nacional de Córdoba)
• Peter Baumgartner (Data61/CSIRO)
• Serenella Cerrito (IBISC, Univ Evry, Université Paris-Saclay)
• Kaustuv Chaudhuri (INRIA)
• Anupam Das (University of Birmingham)
• Stéphane Demri (CNRS, LMF, ENS Paris-Saclay)
• Clare Dixon (University of Manchester)
• José Espírito Santo (University of Minho)
• Christian Fermüller (Technische Universität Wien)
• Camillo Fiorentini (Università degli Studi di Milano)
• Ulrich Furbach (University of Koblenz)
• Didier Galmiche (Université de Lorraine, CNRS, LORIA)
• Silvio Ghilardi (Università degli Studi di Milano)
• Marianna Girlando (University of Amsterdam)
• Stéphane Graham-Lengrand (SRI International)
• Charles Grellois (Bordeaux INP)
• Andrzej Indrzejczak (University of Lodz)
• Cezary Kaliszyk (University of Innsbruck)
• Hidenori Kurokawa (Kanazawa University)
• Stepan Kuznetsov (Steklov Mathematical Institute, RAS)
• Timo Lang (University College London)
• Sonia Marin (University of Birmingham)
• Neil Murray (Emeritus, University at Albany - SUNY)
• Cláudia Nalon (University of Brasília)
• Sara Negri (University of Genoa)
• Eugenio Orlandelli (University of Bologna)
• Jens Otten (University of Oslo)
• Alessandra Palmigiano (Vrije Universiteit Amsterdam)
• Dirk Pattinson (The Australian National University)
• Nicolas Peltier (CNRS - LIG)
• Frank Pfenning (Carnegie Mellon University )
• Elaine Pimentel (University College London)
• Gian Luca Pozzato (Università di Torino)
• Revantha Ramanayake (University of Groningen)
• Michael Rawson (Technische Universität Wien)
• Reuben Rowe (Royal Holloway University of London)
• Katsuhiko Sano (Hokkaido University)
• Lutz Straßburger (Inria Saclay)
• Thomas Studer (University of Bern)
• Josef Urban (Czech Technical University in Prague)
• Yoni Zohar (Bar-Ilan University)
• Zsolt Zombori (Alfréd Rényi Institute of Mathematics)
• Hans de Nivelle (Nazarbayev University)

PC Chairs

• Revantha Ramanayake (University of Groningen)
• Josef Urban (Czech Technical University in Prague)

Local Organizers

• Karel Chvalovský (Czech Technical University in Prague)
• Jan Jakubův (Czech Technical University in Prague)
• Martin Suda (Czech Technical University in Prague)
• Josef Urban (Czech Technical University in Prague)
• Cezary Kaliszyk (University of Innsbruck, Austria)