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
- propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, intuitionistic, other non-classical, meta-logics, logical frameworks, type theory and set theory.
- saturation, resolution, instance-based, tableaux, sequent calculi, natural deduction, term rewriting, decision procedures, model generation, model checking, constraint solving, induction, unification, proof planning, proof checking, proof presentation and explanation.
- program analysis and verification, hardware verification, mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, functional and logic programming, robotics, planning, and other areas of AI.
Proceedings
The CADE-22 conference proceedings (LNAI 5663) are now available online. You can find information about them at Springer or access the online version.
Sponsors
CADE-22 is supported by:Updates
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.