17-20 July 2007
Bremen, Germany
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