|CADE-18 Call for Papers|
(This is a FLoC'02-local copy of the original CADE-18 call-for papers)
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.
The conference will include contributed papers (regular or experimental), system presentations, and invited lectures. There are three categories of submissions:
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.
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
Authors wishing to submit before this page is set up please do so by email to the programme chair (Andrei Voronkov 〈firstname.lastname@example.org〉).
This page is also available as