CADE-26 Organizers

Program Committee Chair

Leonardo de Moura, Microsoft Research

Workshop, Tutorial, and Competition Chair

Philipp Ruemmer, Uppsala University

Conference Chairs

Wolfgang Ahrendt, Chalmers University of Technology
Moa Johansson, Chalmers University of Technology

Publicity Chair

Magnus Myreen^*, Chalmers University of Technology
^* with help from Anneli Andersson, Chalmers University of Technology

Program Committee

Clark Barrett, Stanford University
Christoph Benzmueller, Freie Universitaet Berlin
Jasmin Christian Blanchette, Inria Nancy & LORIA
Nikolaj Bjorner, Microsoft Research
Maria Paola Bonacina, Universita degli Studi di Verona
Leonardo de Moura, Microsoft Research
Hans de Nivelle, University of Wroclaw
Stephanie Delaune, CNRS, IRISA
Gilles Dowek, Inria & ENS Paris-Saclay
Amy Felty, University of Ottawa
Silvio Ghilardi, Universita degli Studi di Milano
Reiner Haehnle, Technical University of Darmstadt
Marijn Heule, The University of Texas at Austin
Moa Johansson, Chalmers University of Technology
Dejan Jovanovic, SRI International
Deepak Kapur, University of New Mexico
Konstantin Korovin, The Manchester University
Laura Kovacs, Vienna University of Technology
Christopher Lynch, Clarkson University
Assia Mahboubi, INRIA
Aart Middeldorp, University of Innsbruck
Dale Miller, INRIA and LIX/Ecole Polytechnique
Albert Oliveras, Technical University of Catalonia
Lawrence Paulson, University of Cambridge
Ruzica Piskac, Yale University
Philipp Ruemmer, Uppsala University
Renate Schmidt, The University of Manchester
Stephan Schulz, DHBW Stuttgart
Roberto Sebastiani, University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Ashish Tiwari, SRI International
Andrei Voronkov, The University of Manchester
Christoph Weidenbach, Max Planck Institute for Informatics
Freek Wiedijk, Radboud University Nijmegen