CADE-19 in Miami28 July - 2 August 2003
In the sunshine ... On the beach
CADE-19 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-19 invites the submission of proposals for workshops and tutorials, which will take place at the beginning of the conference (28th and 29th July 2003).
Logics of interest include propositional, first-order, equational, higher-order, classical, intuitionistic, constructive, modal, temporal, many-valued, substructural, description, and meta-logics, logical frameworks, type theory and set theory.
Methods of interest include saturation, resolution, tableaux, sequent calculi, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, natural deduction, proof planning, proof presentation, proof checking, and explanation.
Applications of interest include hardware and software development, systems analysis and verification, deductive databases, functional and logic programming, computer mathematics, natural language processing, computational linguistics, robotics, planning, knowledge representation, and other areas of AI.
Submission information is now available online.
|24th January 2003||Deadline for electronic submission of title and short abstract|
|31st January 2003||Deadline for electronic submission of papers|
|31st March 2003||Notification of acceptance of papers|
|7th April 2003||Earliest deadline for workshop submissions|
|23rd May 2003||Deadline for early registration|
|30th April 2003||Deadline for final versions of accepted papers|
Further information is available from the conference WWW page: http://www.CADE-19.info