From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9E45E7F1DB for ; Mon, 26 Nov 2012 18:48:43 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQCAIqqs1DAH1kGgWdsb2JhbABEhT+oTQGSLA4BARYmJ4JCISpNMAIfiFEMnwGYKokIjDeDYGEDiF6NIpNS X-IronPort-AV: E=Sophos;i="4.83,321,1352070000"; d="scan'208";a="183275269" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail1-smtp-roc.national.inria.fr with SMTP; 26 Nov 2012 18:48:42 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id E39F4121511; Mon, 26 Nov 2012 12:48:41 -0500 (EST) To: caml-list@inria.fr Message-Id: <20121126174841.E39F4121511@mcclellan.cs.miami.edu> Date: Mon, 26 Nov 2012 12:48:41 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] CADE-24 Workshops, Tutorials, Competitions CALL FOR WORKSHOPS, TUTORIALS AND SYSTEM COMPETITIONS CADE-24 The 24th International Conference on Automated Deduction Lake Placid, USA, 9-14 June 2013 http://www.cade-24.info Submission deadline: 2 December 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 or 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. + Are there 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 broad sense. + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Brief 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 FOR WORKSHOP AND COMPETITION PROPOSALS Deadline for proposal submissions 2 December 2012 Acceptance/rejection notification: 10 December 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