Call for Papers (Download Call for Papers as PDF)

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

Submission and Publication

Submissions can be made in the categories regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages for regular papers and 10 pages for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions should contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at

The EasyChair submission site is at

Important Dates

  • Abstract deadline:  February 16, 2015
  • Submission deadline:  February 23, 2015
  • Rebuttal phase:  April 15-18, 2015
  • Notification:  April 26, 2015
  • Final version:  May 17, 2015
  • Conference:  August 1-7, 2015