<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN">
<html><body>
<p><span style="font-family: 'courier new', courier;">==================================================================</span><br /><span style="font-family: 'courier new', courier;"> CALL FOR PARTICIPATION</span><br /><br /><span style="font-family: 'courier new', courier;"> CADE-23</span><br /><span style="font-family: 'courier new', courier;"> 23rd International Conference on Automated Deduction</span><br /><span style="font-family: 'courier new', courier;"> Wroclaw, Poland</span><br /><span style="font-family: 'courier new', courier;"> July 31 - August 5, 2011</span><br /><span style="font-family: 'courier new', courier;"> <a href="http://cade23.ii.uni.wroc.pl/">http://cade23.ii.uni.wroc.pl/</a></span><br /><span style="font-family: 'courier new', courier;">==================================================================</span><br /><br /><br /><span style="font-family: 'courier new', courier;">GENERAL INFORMATION</span><br /><span style="font-family: 'courier new', courier;">-------------------</span><br /><span style="font-family: 'courier new', courier;">CADE is the major forum for the presentation of research in</span><br /><span style="font-family: 'courier new', courier;">all aspects of automated deduction. The conference programme</span><br /><span style="font-family: 'courier new', courier;">will include invited talks, paper presentations, system</span><br /><span style="font-family: 'courier new', courier;">descriptions, workshops, tutorials, and system competitions.</span><br /><br /><br /><span style="font-family: 'courier new', courier;">REGISTRATION & ACCOMODATION</span><br /><span style="font-family: 'courier new', courier;">---------------------------</span><br /><span style="font-family: 'courier new', courier;">Registration, accomodation, and travel/visa information for CADE 23</span><br /><span style="font-family: 'courier new', courier;">and all the affiliated workshops and tutorials can be found on</span><br /><span style="font-family: 'courier new', courier;">the CADE 23 web pages <a href="http://cade23.ii.uni.wroc.pl/">http://cade23.ii.uni.wroc.pl/</a></span><br /><br /><br /><span style="font-family: 'courier new', courier;">DEADLINES:</span><br /><span style="font-family: 'courier new', courier;"> * Guaranteed Accomodation: 11 June 2011</span><br /><span style="font-family: 'courier new', courier;"> * Early Registration Deadline: 18 June 2011</span><br /><span style="font-family: 'courier new', courier;"> * Workshops/Tutorials: 31 July-1 August 2011</span><br /><span style="font-family: 'courier new', courier;"> * Main Conference: 2-5 August 2011</span><br /><br /><br /><span style="font-family: 'courier new', courier;">SCIENTIFIC PROGRAM</span><br /><span style="font-family: 'courier new', courier;"> * Presentation of 4 invited talks</span><br /><span style="font-family: 'courier new', courier;"> * Presentation of 28 regular research papers</span><br /><span style="font-family: 'courier new', courier;"> * Presentation of 7 system description</span><br /><span style="font-family: 'courier new', courier;"> * Presentation of the Herbrand Award to Nachum Dershowitz</span><br /><span style="font-family: 'courier new', courier;"> * 6 workshops, 6 tutorials, CASC competition</span><br /><br /><br /><span style="font-family: 'courier new', courier;">INVITED SPEAKERS</span><br /><span style="font-family: 'courier new', courier;"> * Koen Claessen, University of Gothenburg, Sweden</span><br /><span style="font-family: 'courier new', courier;"> * Byron Cook, Microsoft Research Cambridge, and</span><br /><span style="font-family: 'courier new', courier;"> Queen Mary, University of London, United Kingdom</span><br /><span style="font-family: 'courier new', courier;"> * Xavier Leroy, INRIA Paris-Rocquencourt, France</span><br /><span style="font-family: 'courier new', courier;"> * Aarne Ranta, University of Gothenburg, Sweden</span><br /><br /><span style="font-family: 'courier new', courier;">WORKSHOPS</span><br /><span style="font-family: 'courier new', courier;"> * BOOGIE 2011: The First International Workshop</span><br /><span style="font-family: 'courier new', courier;"> on Intermediate Verification Languages.</span><br /><span style="font-family: 'courier new', courier;"> * Thedu 11: CTP Components for Educational Software.</span><br /><span style="font-family: 'courier new', courier;"> * PSATTT11: International Workshop on Proof Search</span><br /><span style="font-family: 'courier new', courier;"> in Axiomatic Theories and Type Theories.</span><br /><span style="font-family: 'courier new', courier;"> * PxTP: First Workshop on Proof eXchange for Theorem Proving.</span><br /><span style="font-family: 'courier new', courier;"> * ATE 2011: The first Workshop on Automated Theory Engineering.</span><br /><span style="font-family: 'courier new', courier;"> * UNIF 2011: The International Workshop on Unification.</span><br /><br /><span style="font-family: 'courier new', courier;">TUTORIALS</span><br /><span style="font-family: 'courier new', courier;"> * First-Order Theorem proving and Vampire.</span><br /><span style="font-family: 'courier new', courier;"> * Grammatical Framework: A Hands-On Introduction.</span><br /><span style="font-family: 'courier new', courier;"> * Model Checking Modulo Theories: Theory and Practice.</span><br /><span style="font-family: 'courier new', courier;"> * Practical Computer Formalization of Mathematics Using Mizar.</span><br /><span style="font-family: 'courier new', courier;"> * Practical Reasoning with Quantified Boolean Formulas.</span><br /><span style="font-family: 'courier new', courier;"> * Computational Logic and Human Thinking.</span><br /><br /><span style="font-family: 'courier new', courier;">COMPETITIONS</span><br /><span style="font-family: 'courier new', courier;"> * CASC, the CADE ATP System Competition.</span><br /><br /><br /><span style="font-family: 'courier new', courier;">WOODY BLEDSOE STUDENT TRAVEL AWARDS</span><br /><span style="font-family: 'courier new', courier;">-----------------------------------</span><br /><span style="font-family: 'courier new', courier;">The Woody Bledsoe Student Travel Award is intended to enable</span><br /><span style="font-family: 'courier new', courier;">selected students to attend the Conference on Automated Deduction</span><br /><span style="font-family: 'courier new', courier;">(CADE) and associated events by covering a large part of their expenses.</span><br /><br /><span style="font-family: 'courier new', courier;">The winners of the travel award will be (partially) reimbursed for</span><br /><span style="font-family: 'courier new', courier;">their conference registration, transportation, and accommodation</span><br /><span style="font-family: 'courier new', courier;">expenses (past awards have varied, but have typically been been</span><br /><span style="font-family: 'courier new', courier;">between 150-600 Euro, depending on the degree of active participation</span><br /><span style="font-family: 'courier new', courier;">and the distance that needs to be traveled).</span><br /><span style="font-family: 'courier new', courier;">Preference will be given to students who are author or co-author</span><br /><span style="font-family: 'courier new', courier;">of a paper at the conference or who contributed to an associated</span><br /><span style="font-family: 'courier new', courier;">event, and do not have alternative funding. However, also students</span><br /><span style="font-family: 'courier new', courier;">in other situations are very much encouraged to apply.</span><br /><br /><span style="font-family: 'courier new', courier;">See the CADE 23 web pages for more information, including information</span><br /><span style="font-family: 'courier new', courier;">on how to apply. The deadline for applications is 25 June 2011.</span></p>
</body></html>