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

[PVS] CADE-24: Call for Workshops, Tutorials and System Competitions



Apologies for multiple copies
----------------------------------------------------------------------

     CALL FOR WORKSHOPS, TUTORIALS AND SYSTEM COMPETITIONS

           CADE-24

     The 24rd 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

--
To unsubscribe, please email grant.passmore@xxxxxxxxxxxx.