McGill Campus


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

Conference/workshop participants can check in at the reception desk located across from the elevators on the 1st floor of the Trottier Building (located on University Street at Prince Arthur). The reception desk will be operating every day from 8AM. This Google map will help you get to the right place.

CADE is the major forum for the presentation of research in all aspects of automated deduction.

Logics of interest include

Methods of interest include Applications of interest include


The CADE-22 conference proceedings (LNAI 5663) are now available online. You can find information about them at Springer or access the online version.


CADE-22 is supported by:


2009.07.27: CADE-22 proceedings online

2009.07.05: General travel information updated

2009.07.05: Conference schedule posted

2009.06.08: Registration is open.
Register online!

2009.06.08: Tentative schedule and updated information regarding workshops posted.

2009.06.08: Information about CADE's social activities.

2009.05.26: Some workshops cancelled (namely, "Beyond SAT" and "TPTPWoWo").

2009.05.25: Structure of daily schedule posted.

2009.05.22: Abstract for Martin Rinard's invited talk is up. See Invited Speakers.

2009.04.28: Accepted papers posted.

2009.04.01: Abstract for Konstantin Korovin's invited talk is up. See Invited Speakers.

2009.03.04: The date for notification of paper decision has been changed to 21 April 2009

2009.03.03: Abstract for Mark Stickel's invited talk is up. See Invited Speakers.