APPSEM II Summer School
Frauenchiemsee, September 8-12, 2005
1st CALL FOR PARTICIPATION
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
sites.
For details including deadlines please see the WWW page at
http://www.appsem.org/summer_school.html
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
