Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Announcement: APPSEM-II Summer School, Sep 8-12
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-17 (20:43)
From: Hans-Wolfgang Loidl <hwloidl@i...>
Subject: Announcement: APPSEM-II Summer School, Sep 8-12
		       APPSEM II Summer School
		 Frauenchiemsee, September 8-12, 2005


The IST-FET  Summer School on Applied Semantics  (APPSEM-II) will take
place September 8-12, 2005 in Frauenchiemsee near Munich.

We are proud to announce the following confirmed speakers: 

Andrew Pitts, Cambridge:  Nominal Syntax and Semantics
Philippa Gardner, London: Local Reasoning about Data Update
Francois Pottier, Paris:  A modern eye on ML type inference:
                          old techniques and recent developments
Gilles Barthe, Nice:      Dependent Types in Programming
Chris Hankin, London:     Principles of Program Analysis

The  school   is  open  to  all  interested   graduated  and  (senior)
undergraduate students  as well as  researchers.  A limited  number of
student  grants  covering  all  fees, accommdation,  and  travel,  are
available.  Neither participation nor  grants are restricted to APPSEM

For details including deadlines please see the WWW page at