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.
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,
- 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.
news and notes
- 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
- 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