[Om-announce] CADE-24 CFP and Workshops

Geoff Sutcliffe geoff at cs.miami.edu
Mon Nov 5 19:28:19 CET 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

----------------------------------------------------------------------

    CADE-24: CALL FOR WORKSHOPS, TUTORIALS AND SYSTEM COMPETITIONS

    The 24th International Conference on Automated Deduction
    Lake Placid, USA, 9-14 June 2013

         http://www.cade-24.info

    Submission deadline: 9 November 2012

CADE is the major international forum at which research on all aspects
of automated deduction is presented.


CALL FOR WORKSHOPS

Workshop proposals for CADE-24 are solicited.  Both well-established
workshops and newer ones are encouraged.  Similarly, proposals for
workshops with a tight focus on a core automated reasoning
specialization, as well as those with a broader, more applied focus,
are very welcome.

Please provide the following information in your application document:

+ Workshop title.
+ Names and affiliations of organizers.
+ Proposed workshop duration (from half a day to two days).
+ Brief description of the goals and the scope of the workshop. Why is
  the workshop relevant for CADE?
+ Is the workshop new or has it met previously? In the latter case
  information on previous meetings should be given.
+ What are the plans for publication?

CALL FOR TUTORIALS

Tutorial proposals for CADE-24 are solicited. Tutorials are expected to be
half-day events, with a theoretical or applied focus, on a Topic Of Interest
for CADE-24. Proposals should provide the following information:

+ Tutorial title.
+ Names and affiliations of organizers.
+ Brief description of the tutorial's goals and topics to be covered.
+ Whether or not a version of the tutorial has been given previously.

CADE will take care of printing and distributing notes for tutorials that
would like this service.

CALL FOR SYSTEM COMPETITIONS

The CADE ATP Systems Competition CASC, which evaluates automated
theorem proving systems for classical logics, has become an integral
part of the CADE conferences.

Further system competition proposals are solicited. The goal is to
foster the development of automated reasoning systems in all areas
relevant for automated deduction in a broader sense.

+ Competition title.
+ Names and affiliations of organizers.
+ Duration and schedule of the competition.
+ Room/space requirements.
+ Description of the competition task and the evaluation procedure.
+ Is the competition new or has it been organized before?
  In the latter case information on previous competitions should be given.
+ What computing resources are required and how will they be provided?


IMPORTANT DATES

Deadline for proposal submissions:     9 November 2012
Acceptance/rejection notification:    30 November 2012

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


SUBMISSION INSTRUCTIONS

 Proposals should be uploaded via 
     https://www.easychair.org/conferences/?conf=cade24workshopscompe

CADE-24 ORGANIZERS

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

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

Tutorial Chair:
  Peter Baumgartner      NICTA and Australian National University

Workshop and Competition Chair:
  Christoph Benzmueller  Freie Universitaet Berlin

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



More information about the Om-announce mailing list