Summer School

Objectives and Background

 

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.
Important Dates and Registration
1.7.2005 Deadline for Registration
8-12.9.2005 Summer School
The registration site has been closed. Thank you for attending the summer school!
Speakers, topics and lecture notes:
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.

Participants:
A list of participants is available here.

Location and Transportation:
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)!