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

[Grant Olney Passmore]

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 at cl.cam.ac.uk.