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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]