Organization
Conference Chair
Program Committee:
- Erika Abraham (RWTH Aachen University)
- Carlos Areces (FaMAF - Universidad Nacional de Córdoba)
- Bernhard Beckert (Karlsruhe Institute of Technology)
- Alexander Bentkamp (Vrije Universiteit Amsterdam)
- Armin Biere (Freiburg)
- Nikolaj Bjørner (Microsoft)
- Jasmin Blanchette (Vrije Universiteit Amsterdam) - chair
- Frédéric Blanqui (INRIA)
- Maria Paola Bonacina (Università degli Studi di Verona)
- Kaustuv Chaudhuri (INRIA)
- Agata Ciabattoni (Vienna University of Technology)
- Stéphane Demri (CNRS, LMF, ENS Paris-Saclay)
- Clare Dixon (University of Manchester)
- Huimin Dong (Sun Yat-Sen University)
- Katalin Fazekas (TU Wien)
- Mathias Fleury (University of Freiburg)
- Pascal Fontaine (Université de Liège, Belgium)
- Nathan Fulton (IBM)
- Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano)
- Jürgen Giesl (RWTH Aachen University)
- Rajeev Gore (The Australian National University)
- Marijn Heule (Carnegie Mellon University)
- Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
- Mikolas Janota (Czech Technical University in Prague)
- Moa Johansson (Chalmers University of Technology)
- Cezary Kaliszyk (University of Innsbruck)
- Laura Kovacs (Vienna University of Technology) - chair
- Orna Kupferman (Hebrew University)
- Cláudia Nalon (University of Brasília)
- Vivek Nigam (Huawei ERC)
- Tobias Nipkow (Technical University of Munich)
- Jens Otten (University of Oslo)
- Dirk Pattinson (The Australian National University) - chair
- Nicolas Peltier (CNRS - LIG)
- Brigitte Pientka (McGill University)
- Elaine Pimentel (UCL)
- André Platzer (Carnegie Mellon University)
- Giles Reger (Amazon Web Services and The University of Manchester)
- Andrew Reynolds (University of Iowa)
- Simon Robillard (Université de Montpellier)
- Albert Rubio (Universidad Complutense de Madrid)
- Philipp Ruemmer (Uppsala University)
- Renate A. Schmidt (The University of Manchester)
- Stephan Schulz (DHBW Stuttgart)
- Roberto Sebastiani (University of Trento)
- Martina Seidl (Johannes Kepler University Linz)
- Viorica Sofronie-Stokkermans (University Koblenz-Landau)
- Lutz Straßburger (INRIA Saclay --- Ile-de-France)
- Martin Suda (Czech Technical University in Prague)
- Tanel Tammet (Tallinn University of Technology)
- Sophie Tourret (INRIA and MPI for Informatics)
- Uwe Waldmann (MPI for Informatics)
- Christoph Weidenbach (Max Planck Institute for Informatics)
- Sarah Winkler (Free University of Bozen-Bolzano)
- Yoni Zohar (Bar-Ilan University)