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.
SponsorsCADE-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.
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.