CADE-21

          21st International Conference on Automated Deduction
                International University Bremen, Germany
                July 17-20, 2007 (workshops July 15-16)
             http://www.cadeconference.org/meetings/cade21
  
                            CALL FOR PAPERS
 
CADE is the major forum for the presentation of research in all
aspects of automated deduction.

 - 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 resolution, tableaux, term rewriting,
   induction, unification, constraint solving, SAT solving, decision
   procedures, saturation, model generation, model checking, natural
   deduction, sequent calculi, 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: 
 
   Submission is electronic in PostScript or PDF format via the EasyChair
   system.  Submitted 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.  The proceedings will
   be published in the Springer LNCS series.  For further information and
   submission instructions, see http://www.cadeconference.org/meetings/cade21

Important dates: 

   Submission of title and abstract:    February 16, 2007  
   Submission papers:                   February 23, 2007  
   Notification of acceptance:          April 16, 2007
   Final version due:                   May 11, 2007

   Workshops and tutorials:             July 15-16, 2007 
   Conference:                          July 17-20, 2007

Conference Chair:                 Michael Kohlhase (IUB)
Workshop and Tutorial Chair:      Christoph Benzmueller (Cambridge)
Program Chair:                    Frank Pfenning (CMU)