[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CADE-24: First Call for Papers

Apologies for multiple copies


     24th International Conference on Automated Deduction
          June 9-14, 2013, Lake Placid, New York, USA
             Submission Deadline: 14 January 2013

 CADE is the major forum for the presentation of research in all
 aspects of automated deduction. The conference program features
 invited talks, paper presentations, system descriptions, workshops,
 tutorials, and system competitions, including the CADE ATP System
 Competition (CASC). CADE-24 invites high-quality submissions on
 the general topic of automated reasoning, including foundations,
 applications, implementations and practical experiences. 

 * Logics of interest include: propositional, first-order,
 equational, classical, higher-order, non-classical, constructive,
 modal, temporal, many-valued, description, meta-logics,
 logical frameworks, type theory, set theory, as well as any
 combination thereof.

 * Paradigms of interest include: theorem proving, model building,
 constraint solving, computer algebra, model checking, proof
 checking, and their integrations. 

 * Methods of interest include: resolution, superposition or
 paramodulation, completion, saturation, term rewriting,
 decision procedures and their combinations, model elimination,
 connection method, inverse method, tableaux, induction, proof
 planning, sequent calculi, natural deduction, as well as their
 supporting algorithms and data structures, including unification,
 matching, orderings, indexing, proof presentation and explanation,
 and search plans or strategies for inference control, including
 semantic guidance and AI-related methods.

 * Applications of interest include: analysis, verification and
 synthesis of software and hardware, formal methods, computer
 mathematics, computational logic, declarative programming,
 knowledge representation, deductive databases, natural language
 processing, computational linguistics, ontology reasoning,
 robotics, planning, and other areas of artificial intelligence.

 Detailed information on satellite events will be published in
 separate calls and on the conference website.


 The proceedings of the conference will be published in the
 Springer LNAI/LNCS series. Submissions can be made in the
 categories 'regular paper' (max 15 pages) and 'system
 description' (max 7 pages). Full system descriptions that
 provide in-depth presentation of original ideas in an
 implemented system can be submitted as regular papers.
 There is an expectation that proofs of theoretical results
 that do not fit in the page limit, executables of systems,
 and input data of experiments be available, via a reference
 to a website, or in an appendix of the paper. Reviewers will
 be encouraged to consider these additional materials, however
 it will be at their discretion to do it. All 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. Formatting instructions and the
 LNCS style files can be obtained via
 The page for electronic submission via EasyChair is


 Title and abstract must be submitted before the paper. 

   Abstract submission:                 7 January 2013
   Paper submission:                   14 January 2013
   Notification:                       11 March   2013
   Final version:                       1 April   2013

   Workshops and Tutorials:             9-10 June 2013
   Competitions:                        9-14 June 2013
   Conference:                         11-14 June 2013


 Conference Co-Chairs:          
   Christopher A. Lynch   Clarkson University
   Neil V. Murray         University at Albany - SUNY 

 Program Committee Chair:
   Maria Paola Bonacina   Universita` degli Studi di Verona

 Workshop and Competition Chair: 
   Christoph Benzmueller  Freie Universitaet Berlin

 Tutorial Chair:
   Peter Baumgartner      NICTA and Australian National University

 Publicity and Web Chair:           
   Grant Olney Passmore   Cambridge University and Edinburgh University


Alessandro Armando           Universita` degli Studi di Genova & FBK Trento, Italy
Peter Baumgartner            NICTA & Australian National University, Australia
Christoph Benzmueller        Freie Universitaet Berlin, Germany
Maria Paola Bonacina         Universita` degli Studi di Verona, Italy (Chair)
Cristina Borralleras         Universitat de Vic, Spain
Thierry Boy De La Tour       Universite' de Grenoble, France
Evelyne Contejean            CNRS & Universite' de Paris-Sud, France
Leonardo De Moura            Microsoft Research, USA
Stephanie Delaune            Ecole Nationale Superieure de Cachan, France
Clare Dixon                  University of Liverpool, UK
Pascal Fontaine              Universite' de Lorraine & LORIA, France
Ulrich Furbach               Universitaet Koblenz-Landau, Germany
Ruben Gamboa                 University of Wyoming, USA
Juergen Giesl                RWTH Aachen, Germany
Paul B. Jackson              University of Edinburgh, UK
Predrag Janicic              Univerzitet u Beogradu, Serbia
Helene Kirchner              INRIA Rocquencourt, France
Konstantin Korovin           University of Manchester, UK
K. Rustan M. Leino           Microsoft Research, USA
Christopher A. Lynch         Clarkson University, USA
Cesar A. Munoz               NASA Langley, USA
Neil V. Murray               University at Albany - SUNY , USA
Lawrence C. Paulson          University of Cambridge, UK
Frank Pfenning               Carnegie Mellon University, USA
Brigitte Pientka             McGill University, Canada
David A. Plaisted            University of North Carolina at Chapel Hill, USA
Christophe Ringeissen        LORIA & INRIA Nancy-Grand Est, France
Ulrike Sattler               University of Manchester, UK
Renate A. Schmidt            University of Manchester, UK
Manfred Schmidt-Schauss      Johann Wolfgang Goethe Universitaet, Germany
Stephan Schulz               Technische Universitaet Muenchen, Germany
Viorica Sofronie-Stokkermans Universitaet Koblenz-Landau, Germany
Ashish Tiwari                SRI International, USA
Uwe Waldmann                 MPI fuer Informatik, Germany
Christoph Weidenbach         MPI fuer Informatik, Germany
Jian Zhang                   Chinese Academy of Sciences, P.R. China

Attachment: CADE2013cfp.pdf
Description: Adobe PDF document