<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>==================================================================<br> CALL FOR PAPERS<br><br> CADE-23<br> 23nd International Conference on Automated Deduction<br> Wroclaw, Poland<br> July 31- August 5, 2011<br> <a href="http://cade23.ii.uni.wroc.pl/">http://cade23.ii.uni.wroc.pl/</a><br>==================================================================<br><br><br>GENERAL INFORMATION<br>-------------------<br>CADE is the major forum for the presentation of research in<br>all aspects of automated deduction. The conference programme<br>will include invited talks, paper presentations, system<br>descriptions, workshops, tutorials, and system competitions.<br><br><br>SCOPE<br>-----<br>We invite high-quality submissions on the general topic of<br>automated deduction, including foundations, applications,<br>implementations and practical experiences.<br><br>Logics of interest include, but are not limited to:<br> o propositional, first-order, equational, higher-order,<br> classical, description, modal, temporal, many-valued,<br> intuitionistic, other non-classical, meta-logics,<br> logical frameworks, type theory and set theory.<br><br>Methods of interest include, but are not limited to<br> o saturation, resolution, instance-based, tableaux, sequent<br> calculi, natural deduction, term rewriting, decision<br> procedures, model generation, model checking, constraint<br> solving, induction, unification, proof planning, proof<br> checking, proof presentation and explanation.<br><br>Applications of interest include, but are not limited to<br> o program analysis and verification, hardware verification,<br> systematic software and hardware testing, mathematics,<br> natural language processing, computational<br> linguistics, knowledge representation, ontology reasoning,<br> deductive databases, functional and logic programming,<br> robotics, planning, synthesis, and other areas of AI.<br><br><br>INVITED SPEAKERS<br>----------------<br>* Koen Claessen, Chalmers University of Technology, Sweden<br>* Byron Cook, Microsoft Research, Cambridge and Queen Mary, Univ. of London<br>* Xavier Leroy, INRIA Paris-Rocquencourt, France<br>* Aarne Ranta, University of Gothenburg, Sweden<br><br><br>STUDENT AWARDS<br>--------------<br>Travel awards will be available to enable selected students to<br>attend the conference. Details will be published on the conference<br>website.<br><br>PUBLICATION DETAILS<br>-------------------<br>The proceedings of the conference will be published by Springer<br>Verlag in the LNCS/LNAI series.<br><br>SUBMISSION INSTRUCTIONS<br>-----------------------<br>Submissions can be made in the categories<br> o 'regular papers' and<br> o 'short system descriptions'.<br>The page limit in Springer LNCS style is<br> o 15 pages for regular papers and<br> o 5 pages for short system descriptions.<br><br>Full system descriptions that provide in-depth presentation of original<br>ideas in an implemented system can be submitted as regular papers.<br>For the benefit of reviewers, additional material may be provided by<br>a clearly marked appendix or a reference to a manuscript on a website.<br>It is at the discretion of the reviewers whether such supplements will<br>be considered.<br><br>All regular papers will be evaluated according to the highest standards<br>in terms of originality, significance, technical quality, and readability.<br><br>Submissions must be in English and standard conforming pdf format.<br>Submissions must be unpublished and not submitted for publication elsewhere.<br>Authors are strongly encouraged to produce their papers in LaTeX.<br><br>Formatting instructions and the 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><br>To submit your paper please use the EasyChair submission system at<br>this address: <a href="http://www.easychair.org/conferences/?conf=cade2011">http://www.easychair.org/conferences/?conf=cade2011</a><br><br><br>IMPORTANT DATES<br>---------------<br>Submission Deadlines<br> * Abstracts: 1 February 2011<br> * Full Papers: 7 February 2011<br><br>Other Dates<br> * Notification: 20 March 2011<br> * Final Version: 20 April 2011<br> * Workshops/Tutorials: 31 July-1 August 2011<br> * Conference: 2-5 August 2011<br><br>PROGRAM COMMITTEE<br>-----------------<br>* Alessandro Armando, Università di Genova and FBK-irst, Italy<br>* Franz Baader, Technische Universität Dresden, Germany<br>* Peter Baumgartner, NICTA Canberra, Australia<br>* Bernhard Beckert, Karlsruhe Institute of Technology, Germany<br>* Nikolaj Bjørner, Microsoft Research, USA (PC co-chair)<br>* Maria Paola Bonacina, Università degli Studi di Verona, Italy<br>* Alessandro Cimatti, FBK-irst, Italy<br>* Stephanie Delaune, CNRS, LSV, France<br>* Bruno Dutertre, SRI International, USA<br>* Ulrich Furbach, University of Koblenz, Germany<br>* Silvio Ghilardi, Università degli Studi di Milano, Italy<br>* Jürgen Giesl, RWTH Aachen, Germany<br>* Rajeev Goré, The Australian National University, Australia<br>* John Harrison, Intel Corporation, USA<br>* Ullrich Hustadt, University of Liverpool, United Kingdom<br>* Reiner Hähnle, Chalmers University of Technology, Sweden<br>* Deepak Kapur, University of New Mexico, USA<br>* Viktor Kuncak, EPFL, Switzerland<br>* Alexander Leitsch, Technische Universität Wien, Austria<br>* Christopher Lynch, Clarkson University, USA<br>* Claude Marché, INRIA Saclay, France<br>* Aart Middeldorp, Universität Innsbruck, Austria<br>* Leonardo de Moura, Microsoft Research, USA<br>* Tobias Nipkow, TU München, Germany<br>* Hans de Nivelle, University of Wroclaw, Poland<br>* Albert Oliveras, Universitat Politècnica de Catalunya, Spain<br>* Lawrence Paulson, University of Cambridge, United Kindgom<br>* Frank Pfenning, Carnegie Mellon University, USA<br>* Brigitte Pientka, McGill University, Canada<br>* David Plaisted, University of North Carolina-Chapel Hill, USA<br>* Michael Rusinowitch, INRIA Nancy Grand Est, France<br>* Renate A. Schmidt, The University of Manchester, United Kingdom<br>* Carsten Schürmann, IT University of Copenhagen, Denmark<br>* Roberto Sebastiani, DISI, University of Trento, Italy<br>* Gert Smolka, Saarland University, Germany<br>* Viorica Sofronie-Stokkermans, Max Planck Institute for Informatics,<br> Saarbrücken, Germany (PC co-chair)<br>* Aaron Stump, University of Iowa, USA<br>* Geoff Sutcliffe, University of Miami, USA<br>* Cesare Tinelli, The University of Iowa, USA<br>* Andrei Voronkov, The University of Manchester, United Kingdom<br>* Christoph Weidenbach, Max Planck Institute for Informatics,<br> Saarbrücken, Germany<br>* Frank Wolter, University of Liverpool, United Kingdom<br><br><br>CONFERENCE CHAIR<br>* Hans de Nivelle, University of Wroclaw, Poland<br><br>PROGRAMME CHAIRS<br>* Nikolaj Bjørner, Microsoft Research, USA<br>* Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics,<br> Germany<br><br>WORKSHOP AND TUTORIAL CHAIR<br>* Aaron Stump, University of Iowa, USA<br><br>PUBLICITY CHAIR<br>* Carsten Schürmann, IT University of Copenhagen, Denmark<br><br>LOCAL ORGANIZERS<br>* Hans de Nivelle<br>* Katarzyna Wodzynska<br><br>==========================================================================<br><br></body></html>