Program Committee
CO-CHAIRS
- Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble, France)
- Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
MEMBERS
- Takahito Aoto (Niigata University, Japan)
- Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
- Jeremy Avigad (Carnegie Mellon University, USA)
- Franz Baader (TU Dresden, Germany)
- Peter Baumgartner (Data 61 and CSIRO, Australia)
- Christoph Benzmueller (Freie Universitaet Berlin, Germany)
- Yves Bertot (Inria)
- Armin Biere (Johannes Kepler University Linz, Austria)
- Nikolaj Bjorner (Microsoft Research, USA)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
- Maria Paola Bonacina (Università degli Studi di Verona, Italy)
- James Brotherston (University College London, UK)
- Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
- Agata Ciabattoni (Vienna University of Technology, Sweden)
- Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
- Leonardo de Moura (Microsoft Research, USA)
- Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
- Gilles Dowek (Inria and ENS Paris-Saclay, France)
- Marcelo Finger (University of Sao Paulo, Brazil)
- Pascal Fontaine (Université de Liège, Belgium)
- Didier Galmiche (Université de Lorraine – LORIA, France)
- Silvio Ghilardi (Università degli Studi di Milano, Italy)
- Martin Giese (Universitetet i Oslo, Norway)
- Juergen Giesl (RWTH Aachen University, Germany)
- Valentin Goranko (Stockholm University, Sweden)
- Rajeev Gore (The Australian National University, Australia)
- Stefan Hetzl (Vienna University of Technology, Austria)
- Marijn J. H. Heule (Carnegie Mellon University, USA)
- Cezary Kaliszyk (University of Innsbruck, Austria)
- Deepak Kapur (University of New Mexico, USA)
- Laura Kovacs (Vienna University of Technology, Austria)
- Andreas Lochbihler (Digital Asset, Switzerland)
- Christopher Lynch (Clarkson University, USA)
- Assia Mahboubi (Inria, France)
- Panagiotis Manolios (Northeastern University, USA)
- Dale Miller (Inria and LIX/Ecole Polytechnique, France)
- Claudia Nalon (University of Brasilia, Brazil)
- Tobias Nipkow (Technical University of Munich, Germany)
- Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
- Jens Otten (University of Oslo, Norway)
- Lawrence Paulson (University of Cambridge, UK)
- Frank Pfenning (Carnegie Mellon University, USA)
- Andrei Popescu (Middlesex University London, UK)
- Andrew Reynolds (University of Iowa, USA)
- Christophe Ringeissen (LORIA-INRIA, France)
- Christine Rizkallah (University of New South Wales, Australia)
- Katsuhiko Sano (Hokkaido University, Japan)
- Renate Schmidt (The University of Manchester, UK)
- Stephan Schulz (DHBW Stuttgart, Germany)
- Roberto Sebastiani (DISI, University of Trento, Italy)
- Matthieu Sozeau (Inria)
- Martin Suda (Czech Technical University, Czech Republic)
- Geoff Sutcliffe (University of Miami, USA)
- Sofiene Tahar (Concordia University, Canada)
- Cesare Tinelli (The University of Iowa, USA)
- Christian Urban (King’s College London, UK)
- Josef Urban (Czech Technical University in Prague, Czech Republic)
- Uwe Waldmann (Max Planck Institute for Informatics, Germany)
- Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
Organizers
CONFERENCE CHAIR
- Kaustuv Chaudhuri (Inria & Ecole polytechnique, France)
WORKSHOPS CHAIRS
- Giulio Manzonetto (Université Paris-Nord, France)
- Andrew Reynolds (University of Iowa, USA)