[TYPES] CADE 2005: Call for papers

[Brigitte Pientka]

                        CADE-20
       20th International Conference on Automated Deduction
            Tallinn, Estonia, July 22 - July 27, 2005
                      http://sise.ttu.ee/it/cade

                         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 saturation, resolution, tableaux,
sequent calculi, term rewriting, induction, unification, constraint
solving, decision procedures, model generation, model checking,
natural deduction, 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. 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.  For further information and submission
instructions, see the CADE-20 web page: http://sise.ttu.ee/it/cade.


     Important dates:

  E-submission of title and abstract:  February 25, 2005
  E-submission papers:                 March 4, 2005
  Notification of acceptance:          April 22, 2005
  Final version due:                   May 20, 2005
  Workshops and tutorials:             July 22-23, 2005
  Conference:                          July 24-27, 2005


     Invited talks:

Invited talks will be given at CADE-20 by Randal Bryant (CMU), Gilles
Dowek (Ecole Polytechnique) and by Frank Wolter (U. Liverpool).


   Organizing Chair:                 Tanel Tammet (Tallinn TU)
   Workshop and Tutorial Chair:      Frank Pfenning (CMU)
   Program Chair:                    Robert Nieuwenhuis (UPC Barcelona)
   Publicity Chair:                  Brigitte Pientka (McGill)


     Program Committee :

Franz    Baader            (TU Dresden)
Peter    Baumgartner       (MPI)
Amy      Felty             (U Ottawa)
Ian      Horrocks          (U. Manchester)
Deepak   Kapur             (U New Mexico)
Chris    Lynch             (Clarkson U)
Fabio    Massacci          (U Trento)
Ilkka    Niemela           (TU Helsinki)
Robert   Nieuwenhuis       (UPC Barcelona), chair
Dale     Miller            (INRIA/Ecole Polytechnique)
Tobias   Nipkow            (TU Munich)
Frank    Pfenning          (CMU)
Andreas  Podelski          (MPI)
Manfred  Schmidt-Schauss   (Frankfurt U)
Peter    Schmitt           (U Karlsruhe)
Stephan  Schulz            (TU Munich)
Carsten  Schurmann         (Yale U)
Aaron    Stump             (Washington U)
Geoff    Sutcliffe         (U of Miami)
Tanel    Tammet            (Tallinn TU)
Cesare   Tinelli           (U Iowa)
Ashish   Tiwari            (SRI)
Moshe    Vardi             (Rice U)
Miroslav Velev             (CMU)
Andrei   Voronkov          (Manchester)
Toby     Walsh             (CCC Cork)