From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <geoff@cs.miami.edu>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 68BF47EE5B
	for <caml-list@sympa.inria.fr>; Fri, 19 Apr 2013 17:25:50 +0200 (CEST)
Received-SPF: None (mail2-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=mail2-smtp-roc.national.inria.fr;
  envelope-from="geoff@cs.miami.edu";
  x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-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=mail2-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 (mail2-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=mail2-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: AhkBAENhcVHAH1kGmWdsb2JhbABQgzyufAGTBQ4BAQEBAQgLCwcUKIJDISpNMAQdTYgLnC+YIIkEjXSBToJQYQOXEJQ9IA
X-IPAS-Result: AhkBAENhcVHAH1kGmWdsb2JhbABQgzyufAGTBQ4BAQEBAQgLCwcUKIJDISpNMAQdTYgLnC+YIIkEjXSBToJQYQOXEJQ9IA
X-IronPort-AV: E=Sophos;i="4.87,510,1363129200"; 
   d="scan'208";a="14066049"
Received: from mcclellan.cs.miami.edu ([192.31.89.6])
  by mail2-smtp-roc.national.inria.fr with SMTP; 19 Apr 2013 17:25:49 +0200
Received: by mcclellan.cs.miami.edu (Postfix, from userid 501)
	id 3F178121501; Fri, 19 Apr 2013 11:25:49 -0400 (EDT)
To: caml-list@inria.fr
Message-Id: <20130419152549.3F178121501@mcclellan.cs.miami.edu>
Date: Fri, 19 Apr 2013 11:25:49 -0400 (EDT)
From: geoff@cs.miami.edu (Geoff Sutcliffe)
X-Validation-by: geoff@cs.miami.edu
Subject: [Caml-list] CADE-24 Call for Participation

                 CADE-24: CALL FOR PARTICIPATION

      24th International Conference on Automated Deduction
           June 9-14, 2013, Lake Placid, New York, USA
                   http://www.cade-24.info/
           Early Registration Deadline: 22 May 2013


  CADE is the major forum for the presentation of research in all
  aspects of automated deduction. CADE-24 is held in Lake Placid, a
  charming village on the shore of two lakes surrounded by the
  beautiful Adirondacks Mountains, upstate New York.

  The conference program features:

  * Invited talks:
    * Jean-Christophe Filliatre: One Logic to Use Them All
    * Greg Morrisett: Defining, Testing, and Reasoning About an x86 Decoder
    * Natarajan Shankar: Automated Reasoning, Fast and Slow
    * Douglas R. Smith: Coalgebraic Specification and Refinement

  * Presentation of 31 papers including the CADE-24 Best Paper Award
    winner (details at http://www.cade-24.info/)

  * Tutorials:
    * Franz Baader: Reasoning in Lightweight Description Logics
    * Bernhard Beckert: Program Verification with the KeY System
    * Morgan Deters, Dejan Jovanovic, Clark Barrett and Cesare Tinelli:
      Becoming a Power User of SMT: The CVC4 Solver
    * Marijn Heule: State-of-the-art SAT Solving
    * Carsten Schuermann, Taus Brock-Nannestad and Chris Martens: Twelf

  * Several Workshops (details at http://www.cade-24.info/)

  * The CADE ATP System Competition (CASC): http://www.tptp.org/CASC/24/
    organized by Geoff Sutcliffe

  During the conference, the Herbrand Award for Distinguished Contributions
  to Automated Reasoning will be presented to Greg Nelson for his invention
  of equality sharing, also known as the Nelson-Oppen method, and his
  pioneering work on theorem proving and program checking, including fast
  congruence closure algorithms and the Simplify theorem prover.

IMPORTANT DATES

    Early registration deadline:           22 May  2013
    Workshops and Tutorials:             9-10 June 2013
    Conference:                         11-14 June 2013
    CASC:                                  12 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