The Coq mailing list

[hwloidl AT tcs.informatik.uni-muenchen.de]

[ === apologies for multiple copies of this announcement -- HWL ]

                             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