[Haskell] CFP: International Summer School On Applied Semantics 2005

[Hans-Wolfgang Loidl]

			     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