Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #79
| From | carsten@itu.dk (carsten) |
|---|---|
| Newsgroups | comp.specification.z |
| Subject | CADE 23: Call for participation |
| Date | 2011-06-02 18:54 +0200 |
| Organization | University Of Oxford, England |
| Message-ID | <3a29d5d2cb20f6626dc13aa8225fcfed@itu.dk> (permalink) |
[Could not decode multipart message] - view raw
--=_fa689ea4378bebc3f9fccb477e2e6384 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=UTF-8 ================================================================== CALL FOR PARTICIPATION CADE-23 23rd International Conference on Automated Deduction Wroclaw, Poland July 31 - August 5, 2011 http://cade23.ii.uni.wroc.pl/ [1] ================================================================== GENERAL INFORMATION ------------------- CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference programme will include invited talks, paper presentations, system descriptions, workshops, tutorials, and system competitions. REGISTRATION & ACCOMODATION --------------------------- Registration, accomodation, and travel/visa information for CADE 23 and all the affiliated workshops and tutorials can be found on the CADE 23 web pages http://cade23.ii.uni.wroc.pl/ [2] DEADLINES: * Guaranteed Accomodation: 11 June 2011 * Early Registration Deadline: 18 June 2011 * Workshops/Tutorials: 31 July-1 August 2011 * Main Conference: 2-5 August 2011 SCIENTIFIC PROGRAM * Presentation of 4 invited talks * Presentation of 28 regular research papers * Presentation of 7 system description * Presentation of the Herbrand Award to Nachum Dershowitz * 6 workshops, 6 tutorials, CASC competition INVITED SPEAKERS * Koen Claessen, University of Gothenburg, Sweden * Byron Cook, Microsoft Research Cambridge, and Queen Mary, University of London, United Kingdom * Xavier Leroy, INRIA Paris-Rocquencourt, France * Aarne Ranta, University of Gothenburg, Sweden WORKSHOPS * BOOGIE 2011: The First International Workshop on Intermediate Verification Languages. * Thedu 11: CTP Components for Educational Software. * PSATTT11: International Workshop on Proof Search in Axiomatic Theories and Type Theories. * PxTP: First Workshop on Proof eXchange for Theorem Proving. * ATE 2011: The first Workshop on Automated Theory Engineering. * UNIF 2011: The International Workshop on Unification. TUTORIALS * First-Order Theorem proving and Vampire. * Grammatical Framework: A Hands-On Introduction. * Model Checking Modulo Theories: Theory and Practice. * Practical Computer Formalization of Mathematics Using Mizar. * Practical Reasoning with Quantified Boolean Formulas. * Computational Logic and Human Thinking. COMPETITIONS * CASC, the CADE ATP System Competition. WOODY BLEDSOE STUDENT TRAVEL AWARDS ----------------------------------- The Woody Bledsoe Student Travel Award is intended to enable selected students to attend the Conference on Automated Deduction (CADE) and associated events by covering a large part of their expenses. The winners of the travel award will be (partially) reimbursed for their conference registration, transportation, and accommodation expenses (past awards have varied, but have typically been been between 150-600 Euro, depending on the degree of active participation and the distance that needs to be traveled). Preference will be given to students who are author or co-author of a paper at the conference or who contributed to an associated event, and do not have alternative funding. However, also students in other situations are very much encouraged to apply. See the CADE 23 web pages for more information, including information on how to apply. The deadline for applications is 25 June 2011. Links: ------ [1] http://cade23.ii.uni.wroc.pl/ [2] http://cade23.ii.uni.wroc.pl/ --=_fa689ea4378bebc3f9fccb477e2e6384 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"> <html><body> <p><span style=3D"font-family: 'courier new', courier;">=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span><br /><span style=3D"font-family: 'cou= rier new', courier;"> = &nb= sp;CALL FOR PARTICIPATION</span><br /><br /><span style=3D"font-family: 'co= urier new', courier;">  = ; &n= bsp; CADE-23</span><br /><span style=3D"font-f= amily: 'courier new', courier;"> 23rd International = Conference on Automated Deduction</span><br /><span style=3D"font-family: '= courier new', courier;"> &nb= sp; = Wroclaw, Poland</span><br /><span style=3D"font-family: 'courie= r new', courier;"> &nb= sp; July 31 - August 5, 2011= </span><br /><span style=3D"font-family: 'courier new', courier;"> &nb= sp; = <a href=3D"http://cade23.ii.uni.wroc.pl/">http://cade23.ii.uni= =2Ewroc.pl/</a></span><br /><span style=3D"font-family: 'courier new', cour= ier;">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span><br /><br /><b= r /><span style=3D"font-family: 'courier new', courier;">GENERAL INFORMATIO= N</span><br /><span style=3D"font-family: 'courier new', courier;">--------= -----------</span><br /><span style=3D"font-family: 'courier new', courier;= ">CADE is the major forum for the presentation of research in</span><br /><= span style=3D"font-family: 'courier new', courier;">all aspects of automate= d deduction. The conference programme</span><br /><span style=3D"font-famil= y: 'courier new', courier;">will include invited talks, paper presentations= , system</span><br /><span style=3D"font-family: 'courier new', courier;">d= escriptions, workshops, tutorials, and system competitions.</span><br /><br= /><br /><span style=3D"font-family: 'courier new', courier;">REGISTRATION = & ACCOMODATION</span><br /><span style=3D"font-family: 'courier new', c= ourier;">---------------------------</span><br /><span style=3D"font-family= : 'courier new', courier;">Registration, accomodation, and travel/visa info= rmation for CADE 23</span><br /><span style=3D"font-family: 'courier new', = courier;">and all the affiliated workshops and tutorials can be found on</s= pan><br /><span style=3D"font-family: 'courier new', courier;">the CADE 23 = web pages <a href=3D"http://cade23.ii.uni.wroc.pl/">http://cade23.ii= =2Euni.wroc.pl/</a></span><br /><br /><br /><span style=3D"font-family: 'co= urier new', courier;">DEADLINES:</span><br /><span style=3D"font-family: 'c= ourier new', courier;"> * Guaranteed Accomodation: &= nbsp; 11 June 2011</span><br /><span style=3D"font-family: 'cour= ier new', courier;"> * Early Registration Deadline: 18 Jun= e 2011</span><br /><span style=3D"font-family: 'courier new', courier;">&nb= sp;* Workshops/Tutorials: &= nbsp; 31 July-1 August 2011</span><br /><span style=3D"font-family: 'c= ourier new', courier;"> * Main Conference: &nb= sp; 2-5 August 2011</span><b= r /><br /><br /><span style=3D"font-family: 'courier new', courier;">SCIENT= IFIC PROGRAM</span><br /><span style=3D"font-family: 'courier new', courier= ;"> * Presentation of 4 invited talks</span><br /><span style=3D"font-= family: 'courier new', courier;"> * Presentation of 28 regular researc= h papers</span><br /><span style=3D"font-family: 'courier new', courier;">&= nbsp;* Presentation of 7 system description</span><br /><span style=3D"font= -family: 'courier new', courier;"> * Presentation of the Herbrand Awar= d to Nachum Dershowitz</span><br /><span style=3D"font-family: 'courier new= ', courier;"> * 6 workshops, 6 tutorials, CASC competition</span><br /= |<br /><br /><span style=3D"font-family: 'courier new', courier;">INVITED S= PEAKERS</span><br /><span style=3D"font-family: 'courier new', courier;">&n= bsp;* Koen Claessen, University of Gothenburg, Sweden</span><br /><span sty= le=3D"font-family: 'courier new', courier;"> * Byron Cook, Microsoft R= esearch Cambridge, and</span><br /><span style=3D"font-family: 'courier new= ', courier;"> &n= bsp; Queen Mary, University of London, United Kingdo= m</span><br /><span style=3D"font-family: 'courier new', courier;"> * = Xavier Leroy, INRIA Paris-Rocquencourt, France</span><br /><span style=3D"f= ont-family: 'courier new', courier;"> * Aarne Ranta, University of Got= henburg, Sweden</span><br /><br /><span style=3D"font-family: 'courier new'= , courier;">WORKSHOPS</span><br /><span style=3D"font-family: 'courier new'= , courier;"> * BOOGIE 2011: The First International Workshop</span><br= /><span style=3D"font-family: 'courier new', courier;"> &= nbsp; &nbs= p;on Intermediate Verification Languages.</span><br /><span style=3D"font-f= amily: 'courier new', courier;"> * Thedu 11: CTP Com= ponents for Educational Software.</span><br /><span style=3D"font-family: '= courier new', courier;"> * PSATTT11: International W= orkshop on Proof Search</span><br /><span style=3D"font-family: 'courier ne= w', courier;"> &= nbsp; in Axiomatic Theories and Type Theories= =2E</span><br /><span style=3D"font-family: 'courier new', courier;"> = * PxTP: First Workshop on Proof e= Xchange for Theorem Proving.</span><br /><span style=3D"font-family: 'couri= er new', courier;"> * ATE 2011: The first Workshop o= n Automated Theory Engineering.</span><br /><span style=3D"font-family: 'co= urier new', courier;"> * UNIF 2011: The International Work= shop on Unification.</span><br /><br /><span style=3D"font-family: 'courier= new', courier;">TUTORIALS</span><br /><span style=3D"font-family: 'courier= new', courier;"> * First-Order Theorem proving and Vampire.</span><br= /><span style=3D"font-family: 'courier new', courier;"> * Grammatical= Framework: A Hands-On Introduction.</span><br /><span style=3D"font-family= : 'courier new', courier;"> * Model Checking Modulo Theories: Theory a= nd Practice.</span><br /><span style=3D"font-family: 'courier new', courier= ;"> * Practical Computer Formalization of Mathematics Using Mizar.</sp= an><br /><span style=3D"font-family: 'courier new', courier;"> * Pract= ical Reasoning with Quantified Boolean Formulas.</span><br /><span style=3D= "font-family: 'courier new', courier;"> * Computational Logic and Huma= n Thinking.</span><br /><br /><span style=3D"font-family: 'courier new', co= urier;">COMPETITIONS</span><br /><span style=3D"font-family: 'courier new',= courier;"> * CASC, the CADE ATP System Competition.</span><br /><br /= |<br /><span style=3D"font-family: 'courier new', courier;">WOODY BLEDSOE S= TUDENT TRAVEL AWARDS</span><br /><span style=3D"font-family: 'courier new',= courier;">-----------------------------------</span><br /><span style=3D"f= ont-family: 'courier new', courier;">The Woody Bledsoe Student Travel Award= is intended to enable</span><br /><span style=3D"font-family: 'courier new= ', courier;">selected students to attend the Conference on Automated Deduct= ion</span><br /><span style=3D"font-family: 'courier new', courier;">(CADE)= and associated events by covering a large part of their expenses.</span><b= r /><br /><span style=3D"font-family: 'courier new', courier;">The winners = of the travel award will be (partially) reimbursed for</span><br /><span st= yle=3D"font-family: 'courier new', courier;">their conference registration,= transportation, and accommodation</span><br /><span style=3D"font-family: = 'courier new', courier;">expenses (past awards have varied, but have typica= lly been been</span><br /><span style=3D"font-family: 'courier new', courie= r;">between 150-600 Euro, depending on the degree of active participation</= span><br /><span style=3D"font-family: 'courier new', courier;">and the dis= tance that needs to be traveled).</span><br /><span style=3D"font-family: '= courier new', courier;">Preference will be given to students who are author= or co-author</span><br /><span style=3D"font-family: 'courier new', courie= r;">of a paper at the conference or who contributed to an associated</span>= <br /><span style=3D"font-family: 'courier new', courier;">event, and do no= t have alternative funding. However, also students</span><br /><span style= =3D"font-family: 'courier new', courier;">in other situations are very much= encouraged to apply.</span><br /><br /><span style=3D"font-family: 'courie= r new', courier;">See the CADE 23 web pages for more information, including= information</span><br /><span style=3D"font-family: 'courier new', courier= ;">on how to apply. The deadline for applications is 25 June 2011.</span></= p> </body></html> --=_fa689ea4378bebc3f9fccb477e2e6384--
Back to comp.specification.z | Previous | Next | Find similar
CADE 23: Call for participation carsten@itu.dk (carsten) - 2011-06-02 18:54 +0200
csiph-web