[TYPES/announce] CADE 2007 call for papers

[Amy Felty]

                                 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 (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