[TYPES/announce] CADE 2007 2nd Call for Papers

[Amy Felty]

UPDATE: invited speakers, affiliated workshops, travel grants, submissions open
             Deadline for abstract submission: February 16!

                          2nd Call for Papers
                                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.

Invited speakers:

   Peter Baumgartner, NICTA and Australian National University
   Rustan Leino, Microsoft Research
   Colin Stirling, University of Edinburgh
   Ashish Tiwari, SRI International

Affiliated workshops (July 15-16, 2007):
   ADDCT - Automated Deduction: Decidability, Complexity, Tractability
   CVF - Fourth International Workshop on Constraints in Formal Verification
   DISPROVING - Workshop on Disproving: Non-Theorems, Non-Validity,
                Non-Provability
   ESARLT - Empirically Successful Automated Reasoning in Large Theories
   ISABELLE-WS - Isabelle Workshop
   LFMTP - International Workshop on Logical Frameworks and Meta-Languages:
           Theory and Practice
   VERIFY - 4th International Verification Workshop

Woody Bledsoe student travel awards:

   Nominations must be made by June 1; details available at
   http://www.cadeconference.org/meetings/cade21/travelawards.html

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 available
   at http://www.springer.com/lncs.  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.

   Submissions are now open at  http://www.easychair.org/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)