[DL] CADE 19 Call for Papers

[Prof. Franz Baader]

CALL FOR PAPERS

CADE 19
The 19th International Conference on Automated Deduction 
Miami, USA
July 28 - August 2, 2003

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. 

TOPICS
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. 

PAPER SUBMISSION
Conference submission is electronic in postscript format. Submitted papers
should conform to the Springer LNCS style. In addition to papers on
foundations (15 pages), we encourage the submission of application papers
(10 pages), and of short system descriptions (5 pages).  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 program chair. Papers that are too
long will not be considered. 

IMPORTANT DATES
December 15, 2002:  Deadline for submission of workshop and tutorial proposals
January 15, 2003:   Notification of acceptance of workshops and tutorials
January 24, 2003:   Deadline for electronic submission of title and short abstract
January 31, 2003:   Deadline for electronic submission of papers
March 31, 2003:     Notification of acceptance of papers 
April 30, 2003:     Deadline for final version of accepted papers

CONFERENCE CHAIRS
Geoff Sutcliffe (University of Miami, USA)
Jeff Pelletier (University of Alberta, Canada)

PROGRAM CHAIR
Franz Baader (TU Dresden, Germany)

More details will soon be available on the conference Web-page
http://www.CADE-19.info