Frauenchiemsee, Germany
Programming languages are the basic
tools with which all applications
of computers are built.
It is important, therefore, that they should
be well designed and well implemented.
Achieving these goals requires
both a good theoretical understanding
of programming language designs,
and practical skills in the development
of high quality compilers.
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.
The programme will consist of introductory
and advanced courses on the
following themes:
The school is organized by the APPSEM
II Working Group,
and the University
of Munich.
The registration site has been closed. Thank you for attending the summer school!
Abstracts can be found in this overview of all courses.
The schedule of the summer school is now online.
| Andrew Pitts | Nominal Syntax and Semantics | lecture notes |
| Philippa Gardner | Local Reasoning about Data Update | lecture notes: part 1, part 2, part 3 |
| Francois Pottier | A modern eye on ML type inference: old techniques and recent developments | lecture notes |
| Gilles Barthe | Dependent Types in Programming | lecture notes: part 1, part 2,part 3 |
| Chris Hankin | Principles of Program Analysis | lecture notes |
The complete lecture notes of all courses of the summer school are also available here.
A list of participants is available here.
The summer school is located in
Frauenchiemsee, an island in Lake Chiemsee,
on the
border between Germany and Austria.
and about 100kms in the south east
of the Munich Airport or about 70 km in the west of Salzburg Airport.
Journey from Munich Airport:
1. Take airport bus or S-Bahn (S1 or S8) to Munich Central Station (München Hauptbahnhof). There is a train on every 10 minutes, 30 min travel time.
2. Take train to Prien (ca 1h travel time, trains every 20mins).
3. Taxi or bus to harbour (10min travel time).
4. Take a boat to Frauenchiemsee (35 min travel time)
5. If you are late you need to take a boat taxi (about 100 Euro)!
Journey from Salzburg Airport:
1. Take airport bus (line 2) or taxi to Salzburg Central Station (Salzburg Hauptbahnhof). There is a bus on every 10 min during the day, travel time about 20 min
2. Take train to Prien. There is a train on every 40 min, travel time ca. 50 min.
3. Taxi or bus to harbour (10min travel time).
4. Take a boat to Frauenchiemsee (35 min travel time)
5. If you are late you need to take a boat taxi (about 100 Euro)!
Martin Hofmann
Peter O'Hearn
Peter Dybier
Didier Remy
Andrew Pitts
Martin Hofmann
Hans-Wolfgang Loidl
Sigrid Roden
Konstantin Kutzkow