[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