ICCL Summer School 2004 Proof Theory and Automated Theorem Proving ------------------------------------------ PCC Workshop 2004 ------------------------------- Technische Universitaet Dresden June 14-25, 2004 <http://www.iccl.tu-dresden.de/events/SA-2004> Call for Participation ---------------------- This two-week meeting consists of two integrated parts, a summer school and a workshop, aimed at graduate students and researchers. The themes for the summer school are proof theory and automated theorem proving, the workshop is about proof, computation and complexity. As in the summer schools at TU Dresden in 2002 and 2003 and in the previous editions of the PCC workshop, people from distinct but communicating communities will gather in an informal and friendly atmosphere. We ask for a participation fee of 200 EUR. We request registration before May 10, 2004; please send an email to <mailto:PTEvent@ICCL.TU-Dresden.DE>, making sure you include a very brief bio (5-10 lines) stating your experience, interests, home page (if available), etc. It will be possible for some students to present their work: please indicate in your application if you would like to do so and give us some information about your proposed talk. We will select applicants in case of excessive demand. A limited number of grants covering all expenses is available, please indicate in your application if the only possibility for you to participate is via a grant. Applications for grants must include an estimate of travel costs and they should be sent together with the registration. We will provide assistance in finding an accommodation in Dresden. Week 1, June 14-17: courses on Term Rewriting Systems Franz Baader (TU Dresden) Deep Inference and the Calculus of Structures Alessio Guglielmi (TU Dresden) Game Semantics and Its Applications C.-H. L. Ong (Oxford) On June 14 Prof Wolfgang Bibel will give an invited lecture June 17-19: workshop For more details, please consult the workshop web page <http://www1.informatik.unibw-muenchen.de/Birgit/pcc04.html> Week 2, June 21-25: courses on Deduction Modulo Claude Kirchner (Loria & INRIA, Nancy) Logic Considered as a Branch of Geometry Francois Lamarche (Loria & INRIA, Nancy) Proofs as Programs Michel Parigot (CNRS - Universite' Paris 7) Automated Reasoning for Substructural Logics John Slaney (NICTA, Canberra and Australian National University) Automated Theorem Proving for Classical Logics Andrei Voronkov (Manchester) Venue ----- Dresden, on the river Elbe, is one of the most important art cities of Germany. You can find world-class museums and wonderful architecture and surroundings. We will organize trips and social events. Organization ------------ This event is organized by the International Center for Computational Logic (ICCL), Paola Bruscoli, Birgit Elbl, Sylvia Epp, Bertram Fronhoefer, Axel Grossmann, Alessio Guglielmi, Steffen Hoelldobler, Reinhard Kahle and Mariana Stantcheva; it is sponsored by Deutscher Akademischer Austausch Dienst (DAAD), under the program `Deutsche Sommer-Akademie', and CoLogNet. Please distribute this message broadly.