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

The first conference was held in 1974. Early CADEs have been mostly biennial, and annual conferences started in 1996. CADE Inc. is a subcorporation of the Association of Automated Reasoning.

• Logics of interest include propositional, first-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substructural, description, and meta-logics, logical frameworks, type theory and set theory.
• Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, natural deduction, proof planning, proof presentation, proof checking, and explanation.
• Applications of interest include hardware and software development, systems analysis and verification, deductive databases, functional and logic programming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI.

• The address of the conference venue (see mustpeade maja, although the text is only in Estonian) is indeed Pikk 26, which is quite in the center of old town. See the zoomable/searchable map (type pikk 26 and search) or this drawing where the red arrow is not pointing anywhere near the conference venue.
• The actual registration starts Friday, 22. July, in the morning of the first workshops day. At 22. we'd recommend to register either between 8.30-9.00, during the first coffee break 10:00-10:30 or later. We will not register people during Thursday, 21. July (just preparing everything and being awfully busy).
• In case you run into any minor trouble, please email Tanel Tammet. In the worst kinds of situations (totally lost, away from email, etc) you may call Tanel: +3725524876.