[TYPES] Announcement: APPSEM-II Summer School, Sep 8-12

Hans-Wolfgang Loidl hwloidl at informatik.uni-muenchen.de
Thu Feb 17 21:39:45 EST 2005

		       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

More information about the Types-list mailing list