From: Hans-Wolfgang Loidl <hwloidl@informatik.uni-muenchen.de>
To: haskell@haskell.org, generic-haskell@generic-haskell.org,
clean-list@cs.kun.nl, fp-nl@cs.uu.nl, safe-nl@nic.surfnet.nl,
erlang-questions@erlang.org, prolog-vendors@sics.se,
sicstus-users@sics.se, prog-lang@it.edu, clp@comp.nus.edu.sg,
lprolog@cis.upenn.edu, mercury-ads@cs.mu.oz.au,
mlnet@swi.psy.uva.nl, plt-scheme@fast.flux.utah.edu,
users@mozart-oz.org, pept@yl.is.s.u-tokyo.ac.jp,
caml-list@inria.fr, polyml@inf.ed.ac.uk,
smlnet-users@jiscmail.ac.uk
Subject: Announcement: APPSEM-II Summer School, Sep 8-12
Date: Thu, 17 Feb 2005 21:43:39 +0100 [thread overview]
Message-ID: <20050217214339.3676449f.hwloidl@informatik.uni-muenchen.de> (raw)
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
reply other threads:[~2005-02-17 20:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20050217214339.3676449f.hwloidl@informatik.uni-muenchen.de \
--to=hwloidl@informatik.uni-muenchen.de \
--cc=caml-list@inria.fr \
--cc=clean-list@cs.kun.nl \
--cc=clp@comp.nus.edu.sg \
--cc=erlang-questions@erlang.org \
--cc=fp-nl@cs.uu.nl \
--cc=generic-haskell@generic-haskell.org \
--cc=haskell@haskell.org \
--cc=lprolog@cis.upenn.edu \
--cc=mercury-ads@cs.mu.oz.au \
--cc=mlnet@swi.psy.uva.nl \
--cc=pept@yl.is.s.u-tokyo.ac.jp \
--cc=plt-scheme@fast.flux.utah.edu \
--cc=polyml@inf.ed.ac.uk \
--cc=prog-lang@it.edu \
--cc=prolog-vendors@sics.se \
--cc=safe-nl@nic.surfnet.nl \
--cc=sicstus-users@sics.se \
--cc=smlnet-users@jiscmail.ac.uk \
--cc=users@mozart-oz.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox