CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Call for Papers

CADE-19 invites paper submissions related to all aspects of automated deduction, including foundations, implementations, and applications. Original research papers, papers on applications of automated deduction methods and systems, and descriptions of working automated deduction systems are solicited. In addition, CADE-19 invites the submission of proposals for workshops and tutorials, which will take place at the beginning of the conference (28th and 29th July 2003).


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.

Paper Submission

Submission information is now available online.

Important Dates

24th January 2003 Deadline for electronic submission of title and short abstract
31st January 2003 Deadline for electronic submission of papers
31st March 2003 Notification of acceptance of papers
7th April 2003 Earliest deadline for workshop submissions
23rd May 2003 Deadline for early registration
30th April 2003 Deadline for final versions of accepted papers

Program Chair

Franz Baader (TU Dresden, Germany)

Further information is available from the conference WWW page: