2-7 August 2009
Montreal QC, Canada
=09=09 FIRST CALL FOR PAPERS
=09=09=09 CADE-22
22nd International Conference on Automated Deduction
=09 McGill University, Montreal, Canada
=09=09=09August 2-7, 2009
=09=09Submission Deadline: 23 Feb 2009
=09 http://complogic.cs.mcgill.ca/cade22/
GENERAL INFORMATION
CADE is the major forum for the presentation of research in all
aspects of automated deduction. The conference programme will
include invited talks, paper presentations, system
descriptions, workshops, tutorials, and system competitions.
SCOPE
We invite high-quality submissions on the general topic of
automated deduction, including foundations, applications,
implementations and practical experiences.
Logics of interest include, but are not limited to
o propositional, first-order, equational, higher-order,
classical, description, modal, temporal, many-valued,
intuitionistic, other non-classical, meta-logics,
logical frameworks, type theory and set theory.
Methods of interest include, but are not limited to
o saturation, resolution, instance-based, tableaux, sequent
calculi, natural deduction, term rewriting, decision
procedures, model generation, model checking, constraint
solving, induction, unification, proof planning, proof
checking, proof presentation and explanation.
Applications of interest include, but are not limited to
o program analysis and verification, hardware verification,
mathematics, natural language processing, computational
linguistics, knowledge representation, ontology reasoning,
deductive databases, functional and logic programming,
robotics, planning, and other areas of AI.
WORKSHOPS, TUTORIALS, SYSTEM COMPETITION:
A two-day workshop and tutorial programme will be co-organized
with the conference. In addition, the annual CADE ATP System
Competition (CASC) will be held during the conference. Details
will be published in separate calls and on the conference
website.
PUBLICATION DETAILS:
The proceedings of the conference will be published in the
Springer LNAI/LNCS series.
SUBMISSION INSTRUCTIONS:
Submissions can be made in the categories 'regular papers' and
'system descriptions'. The page limit in Springer LNCS style is
15 pages for regular papers and 5 pages for system
descriptions. Full system descriptions that provide in-depth
presentation of original ideas in an implemented system can be
submitted as regular papers. For the benefit of reviewers,
additional material may be provided by a clearly marked
appendix or a reference to a manuscript on a website. It is at
the discretion of the reviewers whether such supplements will
be considered. All regular papers will be evaluated according
to the highest standards in terms of originality, significance,
technical quality, and readability.
Submissions must be in English and standard conforming pdf
format. Submissions must be unpublished and not submitted for
publication elsewhere. Authors are strongly encouraged to
produce their papers in LaTeX.
Detailed instructions for electronic submission via EasyChair
will be published at the conference website. Formatting
instructions and the LNCS style files can be obtained via
http://www.springer.de/comp/lncs/authors.html.
IMPORTANT DATES:
A paper title and a short abstract of about 100 words must be
submitted before the paper.
16 Feb 2009 abstract submission deadline
23 Feb 2009 paper submission deadline
10 Apr 2009 notification of paper decisions
14 May 2009 camera-ready papers due
2-3 Aug 2009 Workshops & Tutorials
4-7 Aug 2009 Conference, including CASC
PROGRAM COMMITTEE
Alessandro Armando Universit di Genova
Franz Baader Technische Universitt Dresden
Peter Baumgartner NICTA, Canberra
Maria Paola Bonacina Universit degli Studi di Verona
Bernhard Beckert Universitt Koblenz-Landau
Nikolaj Bjrner Microsoft Research
Alessandro Cimatti Istituto per la Ricerca Scientifica e
Tecnologica, Trento
Silvio Ghilardi Universit degli Studi di Milano
Jrgen Giesl RWTH Aachen
Rajeev Gor The Australian National University
Reiner Hhnle Chalmers University of Technology
John Harrison Intel Corporation
Miki Hermann cole Polytechnique
Ullrich Hustadt University of Liverpool
Katsumi Inoue National Institute of Informatics, Japan
Tommi Junttila Helsinki University of Technology
Deepak Kapur University of New Mexico
Alexander Leitsch Technische Universitt Wien
Christopher Lynch Clarkson University
Claude March INRIA Saclay, Parc Orsay Universit
William McCune University of New Mexico
Aart Middeldorp Universitt Innsbruck
Hans de Nivelle University of Wroclaw
Albert Oliveras Universitat Politcnica de Catalunya
Lawrence Paulson University of Cambridge
Brigitte Pientka McGill University
David Plaisted University of North Carolina
at Chapel Hill
Michal Rusinowitch LORIA-INRIA-Lorraine
Renate Schmidt (Chair) The University of Manchester
Carsten Schrmann IT-Universitetet i Kbenhavn
Aaron Stump The University of Iowa
Geoff Sutcliffe University of Miami
Cesare Tinelli The University of Iowa
Andrei Voronkov The University of Manchester
Christoph Weidenbach Max-Planck-Institut fr Informatik
ORGANIZERS
Conference Chair:
Brigitte Pientka McGill University
Workshop & Tutorial Chair:
Aaron Stump The University of Iowa
Publicity Chair:
Carsten Schrmann IT-Universitetet i Kbenhavn
PC Chair:
Renate Schmidt The University of Manchester