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