Organisation
Conference Chair:
Program Chairs:
Workshop Chair:
Publicity Chair & CASC:
Local Organisers:
Program Committee
- Erika Ábráham, RWTH Aachen
- Haniel Barbosa, Universidade Federal de Minas Gerais
- Clark Barrett, Stanford University
- Jasmin Blanchette, Ludwig-Maximilians-Universität München
- Maria Paola Bonacina, Università degli Studi di Verona
- Liron Cohen, Ben-Gurion University
- Stéphane Demri, LMF, CNRS & ENS Paris-Saclay
- Huimin Dong, TU Wien
- Katalin Fazekas, TU Wien
- Mathias Fleury, University of Freiburg
- Pascal Fontaine, Université de Liège
- Carsten Fuhs, Birkbeck, University of London
- Silvio Ghilardi, Università degli Studi di Milano
- Alessandro Gianola, INESC-ID and Universidade de Lisboa
- Iris van der Giessen, University of Birmingham
- Alberto Griggio, Fondazione Bruno Kessler
- Nao Hirokawa, JAIST
- Mikolas Janota, Czech Technical University in Prague
- Moa Johansson, Chalmers University of Technology
- Martin Jonáš, Masaryk University, Czechia
- Cezary Kaliszyk, University of Innsbruck
- Konstantin Korovin, The University of Manchester
- Katherine Kosaian, Iowa State University
- Laura Kovács, TU Wien
- Peter Lammich, University of Twente
- Kuldeep S. Meel, University of Toronto
- Stephan Merz, Inria Nancy
- Cláudia Nalon, University of Brasília
- Jakob Nordström, University of Copenhagen and Lund University
- Nicola Olivetti, LSIS, Aix-Marseille University
- Elaine Pimentel, University College London
- André Platzer, Karlsruhe Institute of Technology
- Florian Rabe, FAU Erlangen-Nürnberg
- Andrew Reynolds, University of Iowa
- Philipp Rümmer, University of Regensburg
- Tanja Schindler, University of Basel
- Renate A. Schmidt, The University of Manchester
- Carsten Schuermann, IT University of Copenhagen
- Mihaela Sighireanu, ENS Paris-Saclay
- Alexandra Silva, University College London
- Viorica Sofronie-Stokkermans, University of Koblenz
- Martin Suda, Czech Technical University in Prague
- Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore
- Guilherme Toledo, State University of Campinas
- Sophie Tourret, INRIA Nancy
- Ali Kemal Uncu, University of Bath
- Uwe Waldmann, MPI for Informatics
- Christoph Weidenbach, MPI for Informatics
- Bohua Zhan, Huawei Technologies Co., Ltd.
- Yoni Zohar, Bar-Ilan University
Contact Us
For organisational matters and enquiries on academic program please contact: cade-30@dhbw-stuttgart.de