[DL] 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)