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 Participation 

      Call for Nominations for Bledsoe Student Travel Awards
 
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/calls/bledsoe-award.txt

   Registration is  open at 
   http://www.cadeconference.org/meetings/cade21/registration.html

Important dates: 

   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)