(This is a FLoC'02-local copy of the original CADE-18 call-for papers)

CADE-18 - Call for Papers

Copenhagen, Denmark
July 27th - 30th, 2002

CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are held since 1996. In 2001, CADE, TABLEAUX, and FTP merged into one conference called the 'International Joint Conference on Automated Reasoning (IJCAR)'.

CADE-18 invites submissions related to all aspects of automated deduction, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited.


Logics of interest include propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, and meta-logics, type theory and set theory.

Techniques of interest include induction, term rewriting, constraint solving, satisfiability checking, model checking, resolution, semantic tableaux, sequent calculi, model-elimination, inverse method, interactive theorem proving, proof planning, term indexing, implementation techniques, decision procedures, unification, model generation, semantic guidance, logical frameworks, proof presentation.

Applications of interest include verification, formal methods, program analysis and synthesis, declarative programming, proof carrying code, deductive databases, knowledge representation, computer mathematics, natural language processing, linguistics, robotics, planning.

Paper Submission

The conference will include contributed papers (regular or experimental), system presentations, and invited lectures. There are three categories of submissions:

A. Regular papers.
Submissions should include an extended abstract not exceeding fifteen (15) pages. The submission should contain original research, and sufficient detail to assess the merits and relevance of the contribution. If the submission is of theoretical nature and proofs do not fit in the page limit, they have to be included in an appendix. Alternatively, a paper will full proofs can be put on the Web and referenced from the submitted paper.
B. Experimental papers.
Submissions should include an extended abstract not exceeding ten (10) pages and describe experimental results, case studies, or analysis/comparison of existing tools. The submission should contain results of potential interest or significance for the community. For papers reporting experimental results, authors are strongly encouraged to make their data available on the Web.
C. System descriptions.
Submissions should be an abstract not exceeding five (5) pages. The submission should describe an implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Authors are strongly encourage to make their systems available on the Web.

Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. In the case of doubts on this point please contact the programme chair.

The proceedings of CADE-18 will be published by Springer-Verlag in the LNAI/LNCS series.

Submission Details

All submissions must be received by February 9, 2002 (extended deadline). Submissions that are late or too long or require substantial revision will not be considered. Authors of accepted papers will be requested to sign a form transfering copyright of their contribution to Springer-Verlag.

Authors are strongly encouraged to use LaTeX2e and the Springer llncs class files. The llncs class files can be obtained from http://www.springer.de/comp/lncs/authors.html.

The primary means of submission is electronic, through the following

Submission Web Page:

Authors wishing to submit before this page is set up please do so by email to the programme chair (Andrei Voronkov 〈voronkov@cs.man.ac.uk〉).

Important dates

Program Committee