<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Apologies for multiple copies<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> CADE-24: CALL FOR PAPERS<br><br> 24th International Conference on Automated Deduction<br> June 9-14, 2013, Lake Placid, New York, USA<br> <a href="http://www.cade-24.info/">http://www.cade-24.info/</a><br> Submission Deadline: 14 January 2013<br><br><br> CADE is the major forum for the presentation of research in all<br> aspects of automated deduction. The conference program features<br> invited talks, paper presentations, system descriptions, workshops,<br> tutorials, and system competitions, including the CADE ATP System<br> Competition (CASC). CADE-24 invites high-quality submissions on<br> the general topic of automated reasoning, including foundations,<br> applications, implementations and practical experiences. <br><br> * Logics of interest include: propositional, first-order,<br> equational, classical, higher-order, non-classical, constructive,<br> modal, temporal, many-valued, description, meta-logics,<br> logical frameworks, type theory, set theory, as well as any<br> combination thereof.<br><br> * Paradigms of interest include: theorem proving, model building,<br> constraint solving, computer algebra, model checking, proof<br> checking, and their integrations. <br><br> * Methods of interest include: resolution, superposition or<br> paramodulation, completion, saturation, term rewriting,<br> decision procedures and their combinations, model elimination,<br> connection method, inverse method, tableaux, induction, proof<br> planning, sequent calculi, natural deduction, as well as their<br> supporting algorithms and data structures, including unification,<br> matching, orderings, indexing, proof presentation and explanation,<br> and search plans or strategies for inference control, including<br> semantic guidance and AI-related methods.<br><br> * Applications of interest include: analysis, verification and<br> synthesis of software and hardware, formal methods, computer<br> mathematics, computational logic, declarative programming,<br> knowledge representation, deductive databases, natural language<br> processing, computational linguistics, ontology reasoning,<br> robotics, planning, and other areas of artificial intelligence.<br><br> Detailed information on satellite events will be published in<br> separate calls and on the conference website.<br><br><br>PUBLICATION AND SUBMISSION<br><br> The proceedings of the conference will be published in the<br> Springer LNAI/LNCS series. Submissions can be made in the<br> categories 'regular paper' (max 15 pages) and 'system<br> description' (max 7 pages). Full system descriptions that<br> provide in-depth presentation of original ideas in an<br> implemented system can be submitted as regular papers.<br> There is an expectation that proofs of theoretical results<br> that do not fit in the page limit, executables of systems,<br> and input data of experiments be available, via a reference<br> to a website, or in an appendix of the paper. Reviewers will<br> be encouraged to consider these additional materials, however<br> it will be at their discretion to do it. All papers will<br> be evaluated according to the highest standards in terms of<br> originality, significance, technical quality, and readability.<br> Submissions must be in English and standard conforming pdf<br> format. Submissions must be unpublished and not submitted for<br> publication elsewhere. Authors are strongly encouraged to<br> produce their papers in LaTeX. Formatting instructions and the<br> LNCS style files can be obtained via<br> <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>.<br> The page for electronic submission via EasyChair is<br> <a href="https://www.easychair.org/conferences/?conf=cade24">https://www.easychair.org/conferences/?conf=cade24</a>.<br><br><br>IMPORTANT DATES<br><br> Title and abstract must be submitted before the paper. <br><br> Abstract submission: 7 January 2013<br> Paper submission: 14 January 2013<br> Notification: 11 March 2013<br> Final version: 1 April 2013<br><br> Workshops and Tutorials: 9-10 June 2013<br> Competitions: 9-14 June 2013<br> Conference: 11-14 June 2013<br><br><br>ORGANIZERS<br><br> Conference Co-Chairs: <br> Christopher A. Lynch Clarkson University<br> Neil V. Murray University at Albany - SUNY <br><br> Program Committee Chair:<br> Maria Paola Bonacina Universita` degli Studi di Verona<br><br> Workshop and Competition Chair: <br> Christoph Benzmueller Freie Universitaet Berlin<br><br> Tutorial Chair:<br> Peter Baumgartner NICTA and Australian National University<br><br> Publicity and Web Chair: <br> Grant Olney Passmore Cambridge University and Edinburgh University<br><br><br>PROGRAM COMMITTEE<br><br>Alessandro Armando Universita` degli Studi di Genova & FBK Trento, Italy<br>Peter Baumgartner NICTA & Australian National University, Australia<br>Christoph Benzmueller Freie Universitaet Berlin, Germany<br>Maria Paola Bonacina Universita` degli Studi di Verona, Italy (Chair)<br>Cristina Borralleras Universitat de Vic, Spain<br>Thierry Boy De La Tour Universite' de Grenoble, France<br>Evelyne Contejean CNRS & Universite' de Paris-Sud, France<br>Leonardo De Moura Microsoft Research, USA<br>Stephanie Delaune Ecole Nationale Superieure de Cachan, France<br>Clare Dixon University of Liverpool, UK<br>Pascal Fontaine Universite' de Lorraine & LORIA, France<br>Ulrich Furbach Universitaet Koblenz-Landau, Germany<br>Ruben Gamboa University of Wyoming, USA<br>Juergen Giesl RWTH Aachen, Germany<br>Paul B. Jackson University of Edinburgh, UK<br>Predrag Janicic Univerzitet u Beogradu, Serbia<br>Helene Kirchner INRIA Rocquencourt, France<br>Konstantin Korovin University of Manchester, UK<br>K. Rustan M. Leino Microsoft Research, USA<br>Christopher A. Lynch Clarkson University, USA<br>Cesar A. Munoz NASA Langley, USA<br>Neil V. Murray University at Albany - SUNY , USA<br>Lawrence C. Paulson University of Cambridge, UK<br>Frank Pfenning Carnegie Mellon University, USA<br>Brigitte Pientka McGill University, Canada<br>David A. Plaisted University of North Carolina at Chapel Hill, USA<br>Christophe Ringeissen LORIA & INRIA Nancy-Grand Est, France<br>Ulrike Sattler University of Manchester, UK<br>Renate A. Schmidt University of Manchester, UK<br>Manfred Schmidt-Schauss Johann Wolfgang Goethe Universitaet, Germany<br>Stephan Schulz Technische Universitaet Muenchen, Germany<br>Viorica Sofronie-Stokkermans Universitaet Koblenz-Landau, Germany<br>Ashish Tiwari SRI International, USA<br>Uwe Waldmann MPI fuer Informatik, Germany<br>Christoph Weidenbach MPI fuer Informatik, Germany<br>Jian Zhang Chinese Academy of Sciences, P.R. China<br><div><br></div><div></div></body></html>