[isabelle] CADE 2007 call for papers


          21st International Conference on Automated Deduction
                International University Bremen, Germany
                July 17-20, 2007 (workshops July 15-16)

                            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 (Saarland Univ)
Program Chair:                    Frank Pfenning (CMU)

Program Committee:
   David Basin             ETH Zuerich
   Christoph Benzmueller   Cambridge University
   Maria Paola Bonacina    Universita degli Studi di Verona
   Simon Colton            Imperial College London
   Gilles Dowek            Ecole Polytechnique
   Rajeev Gore             Australian National University
   Jean Goubault-Larrecq   ENS Cachan
   Reiner Haehnle          Chalmers University of Technology
   John Harrison           Intel Corporation
   Michael Kohlhase        International University Bremen
   Dale Miller             INRIA-Futurs and Ecole Polytechnique
   Tobias Nipkow           Technical University Munich
   Hans de Nivelle         MPII Saarbruecken
   Albert Oliveras         Technical University of Catalonia
   Frank Pfenning (chair)  Carnegie Mellon University
   Ulrike Sattler          University of Manchester
   Manfred Schmidt-Schauss University of Frankfurt
   Cesare Tinelli          University of Iowa
   Andrei Voronkov         University of Manchester
   Toby Walsh              National ICT Australia and Univ of New South Wales

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.