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.

Topics

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:

http://www.cs.man.ac.uk/~voronkov/CADE-18/submit.html

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

• Saturday February 9th, 2002 - (extended) paper submission
• Wednesday April 10th, 2002 - author notification
• Friday May 10th, 2002 - final papers due

This page is also available as

• Printer-friendly HTML