Bonsecours Market

CADE-22

22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2 - 7, 2009

Program Committee

Alessandro Armando Università di Genova
Franz Baader Technische Universität Dresden
Peter Baumgartner NICTA, Canberra
Maria Paola Bonacina Università degli Studi di Verona
Bernhard Beckert Universität Koblenz-Landau
Nikolaj Bjørner Microsoft Research
Alessandro Cimatti Istituto per la Ricerca Scientifica e Tecnologica, Trento
Silvio Ghilardi Università degli Studi di Milano
Jürgen Giesl RWTH Aachen
Rajeev Goré The Australian National University
Reiner Hähnle Chalmers University of Technology
John Harrison Intel Corporation
Miki Hermann École Polytechnique
Ullrich Hustadt University of Liverpool
Katsumi Inoue National Institute of Informatics, Japan
Tommi Junttila Helsinki University of Technology
Deepak Kapur University of New Mexico
Alexander Leitsch Technische Universität Wien
Christopher Lynch Clarkson University
Claude Marché INRIA Saclay, Parc Orsay Université
William McCune University of New Mexico
Aart Middeldorp Universität Innsbruck
Hans de Nivelle University of Wroclaw
Albert Oliveras Universitat Politècnica de Catalunya
Lawrence Paulson University of Cambridge
Brigitte Pientka McGill University
David Plaisted University of North Carolina at Chapel Hill
Michaël Rusinowitch LORIA-INRIA-Lorraine
Renate Schmidt (Chair) The University of Manchester
Carsten Schürmann IT-Universitetet i København
Aaron Stump The University of Iowa
Geoff Sutcliffe University of Miami
Cesare Tinelli The University of Iowa
Andrei Voronkov The University of Manchester
Christoph Weidenbach Max-Planck-Institut für Informatik