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