Submission is now closed. See the list of accepted papers. Date for the final version: May 20, 2005.
Submission is electronic. Here is a link to the submission site.
CADE-20 invites paper submissions related to all aspects of automated deduction, including foundations, implementations, and applications.
Original research papers, papers on applications of automated deduction methods and systems, and descriptions of working automated deduction systems are solicited. In addition, CADE-20 invites the submission of proposals for workshops and tutorials.
Submission is electronic in postscript or PDF format. papers must conform to the Springer LNCS style, preferrably using LaTeX2e and the Springer llncs class files. Submissions can be full papers, for work on foundations, applications or implementation techniques (15 pages), as well as system descriptions (5 pages), for describing publicly available systems.
Here is a detailed postscript call-for-papers and a call-for-workshops.