2nd CALL for PARTICIPATION International Summer School On Applied Semantics 2005 Frauenchiemsee, Germany, 8-12 September 2005 http://lionel.tcs.ifi.lmu.de/SummerSchool05/ The International Summer School On Applied Semantics 2005, part of the APPSEM II initiative, will be held on the island of Frauenchiemsee, an island in Lake Chiemsee near Munich, from September 8 to 12, 2005. The summer school provides an opportunity to attend courses on various topics in the area of applied semantics given by leading members of the community. The summer school is organised by the APPSEM II Working Group, and the University of Munich. Immediately after the summer school a workshop on applied semantics will be held at the same location. The summer school is addressed to postgraduate students, researchers and industrials who want to learn about recent developments in programming language research, both in semantic theory and in implementation. LECTURERS Andrew Pitts: Nominal Syntax and Semantics Philippa Gardner: Local Reasoning about Data Update Francois Pottier: A modern eye on ML type inference: old techniques and recent developments Gilles Barthe: Type Checking Dependent Types Chris Hankin: Principles of Program Analysis REGISTRATION AND DATES To register for the Summer School, down-load and fill-in the application form from the Summer School's web page and fax it to: +49 89 2180 9338. The registration fee for the Summer School is 180 Euro, covering attendance of all courses, lecture notes, and meals. Additionally, several options of accomodation, ranging from 25 to 50 Euros per night, are available from the main site of the venue. Deadline for Registration: 1 July 2005 Notification for Grants: 15 July 2005 Summer School: 8-12 September 2005 A limited number of student grants is available. To apply for a grant, fill-in the corresponding section in the above form, too. LOCATION The International Summer School On Applied Semantics 2005 will be held in Frauenchiemsee, an island in Lake Chiemsee, on the border between Germany and Austria, about 100kms in the south east of the Munich Airport or about 70 km in the west of Salzburg Airport. ORGANISING COMMITTEE Prof Martin Hofmann Dr Hans-Wolfgang Loidl Sigrid Roden Konstantin Kutzkow CONTACT Sigrid Roden, Ludwig-Maximilians-Universitaet Muenchen, Institut fuer Informatik, Theoretische Informatik, Oettingenstrasse 67 D 80538 Muenchen GERMANY Fax: +49 89 2180 9337 Tel: +49 89 2180 9338