CADE21 Program Committee
- David Basin ETH Zürich
- Christoph Benzmüller The University of Cambridge
- Maria Paola Bonacina Università degli Studi di Verona
- Simon Colton Imperial College London
- Gilles Dowek École Polytechnique
- Rajeev Goré Australian National University
- Jean Goubault-Larrecq ENS Cachan
- Reiner Hähnle Chalmers University of Technology
- John Harrison Intel Corporation
- Michael Kohlhase Jacobs University, Bremen
- Dale Miller INRIA-Futurs and École Polytechnique
- Tobias Nipkow Technical University Munich
- Hans de Nivelle University of Wroclaw
- Albert Oliveras Technical University of Catalonia
- Frank Pfenning Carnegie Mellon University
- Ulrike Sattler University of Manchester
- Manfred Schmidt-Schauß University of Frankfurt
- Cesare Tinelli University of Iowa
- Andrei Voronkov University of Manchester
- Toby Walsh National ICT Australia and University of New South Wales