[FOM] CADE-24: First Call for Papers

Grant Olney Passmore martin at eipye.com
Mon Sep 3 12:37:25 EDT 2012


Apologies for multiple copies

                       CADE-24: CALL FOR PAPERS

      24th International Conference on Automated Deduction
           June 9-14, 2013, Lake Placid, New York, USA
                   http://www.cade-24.info/
              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.


PUBLICATION AND SUBMISSION

  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
  http://www.springer.de/comp/lncs/authors.html.
  The page for electronic submission via EasyChair is
  https://www.easychair.org/conferences/?conf=cade24.


IMPORTANT DATES

  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


ORGANIZERS

  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


PROGRAM COMMITTEE

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


Apologies for multiple copies

       CADE-24: CALL FOR PAPERS

      24th International Conference on Automated Deduction
           June 9-14, 2013, Lake Placid, New York, USA
                   <http://www.cade-24.info/>http://www.cade-24.info/
              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.


PUBLICATION AND SUBMISSION

  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
  <http://www.springer.de/comp/lncs/authors.html>http://www.springer.de/comp/lncs/authors.html.
  The page for electronic submission via EasyChair is
  <https://www.easychair.org/conferences/?conf=cade24>https://www.easychair.org/conferences/?conf=cade24.


IMPORTANT DATES

  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


ORGANIZERS

  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


PROGRAM COMMITTEE

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





More information about the FOM mailing list