PC Chairs
André Platzer, Carnegie Mellon University
Geoff Sutcliffe, University of Miami
Local Organizers
Marijn Heule, Carnegie Mellon University
André Platzer, Carnegie Mellon University
Iliano Cervesato, Carnegie Mellon University
Workshop and Tutorial Chair
Alexander Steen, University of Luxembourg
Publicity Chair
Sophie Tourret, Max Planck Institute
Program Committee
Peter Baumgartner, CSIRO
Bernhard Beckert, Karlsruhe Institute of Technology
Christoph Benzmüller, Freie Universität Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft
Jasmin Blanchette, Vrije Universiteit Amsterdam
Maria Paola Bonacina, Università degli Studi di Verona
Agata Ciabattoni, Vienna University of Technology
Koen Claessen, Chalmers University of Technology
Hans de Nivelle, School of Engineering and Digital Sciences Nazarbayev University
Stéphane Demri, LSV CNRS ENS Paris-Saclay
Huimin Dong, Zhejiang University
Gilles Dowek, INRIA and ENS Paris-Saclay
Mnacho Echenim, University of Grenoble
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
Nao Hirokawa, JAIST
Moa Johansson, Chalmers University of Technology
Dejan Jovanović, SRI International
Cezary Kaliszyk, University of Innsbruck
Laura Kovacs, Vienna University of Technology
Tomer Libal, American University of Paris
Assia Mahboubi, INRIA
Cláudia Nalon, University of Brasília
Vivek Nigam, fortiss GmbH
Tobias Nipkow, Technical University of Munich
Frank Pfenning, Carnegie Mellon University
Giles Reger, The University of Manchester
Andrew Reynolds, University of Iowa
Philipp Ruemmer, Uppsala University
Katsuhiko Sano, Faculty of Humanities and Human Sciences Hokkaido University
Renate A. Schmidt, The University of Manchester
Stephan Schulz, DHBW Stuttgart
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Martin Suda, Czech Technical University in Prague
Tanel Tammet, Tallinn University of Technology
Sophie Tourret, Max Planck Institute for Informatics
Josef Urban, Czech Technical University in Prague
Christian Urban, King's College London
Uwe Waldmann, MPI for Informatics
Yoni Zohar, Stanford University
CADE implements the
ACM policy against harassment.