[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




--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs