[Agda] CADE-22 first call for papers

[Carsten Schuermann]

              FIRST CALL FOR PAPERS

                 CADE-22
     22nd International Conference on Automated Deduction
           McGill University, Montreal, Canada
            August 2-7, 2009


        Submission Deadline: 23 Feb 2009
          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 Universität Dresden
 Peter Baumgartner      NICTA, Canberra
 Maria Paola Bonacina   Università degli Studi di Verona
 Bernhard Beckert       Universität Koblenz-Landau
 Nikolaj Bjørner        Microsoft Research
 Alessandro Cimatti     Istituto per la Ricerca Scientifica e
                            Tecnologica, Trento
 Silvio Ghilardi        Università degli Studi di Milano
 Jürgen Giesl           RWTH Aachen
 Rajeev Goré            The Australian National University
 Reiner Hähnle          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 Universität Wien
 Christopher Lynch      Clarkson University
 Claude Marché          INRIA Saclay, Parc Orsay Université
 William McCune         University of New Mexico
 Aart Middeldorp        Universität Innsbruck
 Hans de Nivelle        University of Wroclaw
 Albert Oliveras        Universitat Politècnica de Catalunya
 Lawrence Paulson       University of Cambridge
 Brigitte Pientka       McGill University
 David Plaisted         University of North Carolina
                            at Chapel Hill
 Michaël Rusinowitch    LORIA-INRIA-Lorraine
 Renate Schmidt (Chair) The University of Manchester
 Carsten Schürmann      IT-Universitetet i København
 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 für Informatik

ORGANIZERS
 Conference Chair:
     Brigitte Pientka   McGill University
 Workshop & Tutorial Chair:
     Aaron Stump        The University of Iowa
 Publicity Chair:
     Carsten Schürmann  IT-Universitetet i København
 PC Chair:
     Renate Schmidt     The University of Manchester