[Haskell] CFP: International Summer School On Applied Semantics 2005
hwloidl at informatik.uni-muenchen.de
Fri Apr 29 08:38:26 EDT 2005
2nd CALL for PARTICIPATION
International Summer School On Applied Semantics 2005
Frauenchiemsee, Germany, 8-12 September 2005
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.
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.
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.
Prof Martin Hofmann
Dr Hans-Wolfgang Loidl
Institut fuer Informatik,
D 80538 Muenchen
Fax: +49 89 2180 9337
Tel: +49 89 2180 9338
More information about the Haskell