APPSEM II Summer School Frauenchiemsee, September 8-12, 2005 1st CALL FOR PARTICIPATION The IST-FET Summer School on Applied Semantics (APPSEM-II) will take place September 8-12, 2005 in Frauenchiemsee near Munich. We are proud to announce the following confirmed speakers: Andrew Pitts, Cambridge: Nominal Syntax and Semantics Philippa Gardner, London: Local Reasoning about Data Update Francois Pottier, Paris: A modern eye on ML type inference: old techniques and recent developments Gilles Barthe, Nice: Dependent Types in Programming Chris Hankin, London: Principles of Program Analysis The school is open to all interested graduated and (senior) undergraduate students as well as researchers. A limited number of student grants covering all fees, accommdation, and travel, are available. Neither participation nor grants are restricted to APPSEM sites. For details including deadlines please see the WWW page at http://www.appsem.org/summer_school.html