Call for Papers


Submission Deadline: 21 January 2013



CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference program will include invited talks, paper presentations, system descriptions, workshops, tutorials, and system competitions.



CADE-24 invites high-quality submissions on the general topic of automated reasoning, including foundations, applications, implementations and practical experiences.

Logics of interest include: propositional, first-order, equational, classical, higher-order, non-classical, constructive, modal, temporal, many-valued, description, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof.

Paradigms of interest include: theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integrations.

Methods of interest include: resolution, superposition or paramodulation, completion, saturation, term rewriting, decision procedures and their combinations, model elimination, connection method, inverse method, tableaux, induction, proof planning, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including unification, matching, orderings, indexing, proof presentation and explanation, and search plans or strategies for inference control, including semantic guidance and AI-related methods.

Applications of interest include: analysis, verification and synthesis of software and hardware, formal methods, computer mathematics, computational logic, declarative programming, knowledge representation, deductive databases, natural language processing, computational linguistics, ontology reasoning, robotics, planning, and other areas of artificial intelligence.



The main conference program will be complemented by workshops, tutorials, and system competitions, including the annual CADE ATP System Competition (CASC). Details will be published in separate calls and on the conference website.



The proceedings of the conference will be published in the Springer LNAI/LNCS series.



Submissions can be made in the categories 'regular paper' and 'system description'. The page limit in Springer LNCS style is 15 pages for regular papers and 7 pages for system descriptions. Full system descriptions that provide in-depth presentation of original ideas in an implemented system can be submitted as regular papers. There is an expectation that proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments be available, via a reference to a website, or in an appendix of the paper. Reviewers will be encouraged to consider these additional materials, however it will be at their discretion to do it. All papers will be evaluated according to the highest standards in terms of originality, significance, technical quality, and readability.

Submissions must be in English and standard conforming pdf format. Submissions must be unpublished and not submitted for publication elsewhere. Authors are strongly encouraged to produce their papers in LaTeX. Formatting instructions and the LNCS style files can be obtained via The page for electronic submission via EasyChair is



The title and abstract must be submitted before the paper.

Abstract submission: 14 January 2013
Paper submission: 21 January 2013
Notification: 11 March 2013
Final version: 1 April 2013
Workshops and Tutorials: 9-10 June 2013
Competitions: 9-14 June 2013
Conference: 11-14 June 2013