* Announcement: APPSEM-II Summer School, Sep 8-12
@ 2005-02-17 20:43 Hans-Wolfgang Loidl
0 siblings, 0 replies; only message in thread
From: Hans-Wolfgang Loidl @ 2005-02-17 20:43 UTC (permalink / raw)
To: haskell, generic-haskell, clean-list, fp-nl, safe-nl,
erlang-questions, prolog-vendors, sicstus-users, prog-lang, clp,
lprolog, mercury-ads, mlnet, plt-scheme, users, pept, caml-list,
polyml, smlnet-users
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-02-17 20:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-02-17 20:43 Announcement: APPSEM-II Summer School, Sep 8-12 Hans-Wolfgang Loidl
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).