From: Andrej Bauer <andrej.bauer@andrej.com>
To: caml-list@inria.fr
Subject: [Caml-list] European Workshop on Computational Effects
Date: Wed, 5 Jan 2011 00:06:02 +0100 [thread overview]
Message-ID: <AANLkTik5ebHJSXfRuY_=Riex7JGNmQNpRCQxhaun-wBu@mail.gmail.com> (raw)
EUROPEAN WORKSHOP ON COMPUTATIONAL EFFECTS
Thursday 17th and Friday 18th March 2011, Ljubljana, Slovenia.
http://ewce.fmf.uni-lj.si/
ANNOUNCEMENT AND CALL FOR CONTRIBUTED TALKS
The aim of the workshop is to bring together researchers investigating
computational effects from a variety of different angles: programming
languages, type theory, operational semantics, universal algebra,
category theory, denotational semantics, etc.
CONTRIBUTED TALKS
A limited number of slots are available for contributed talks. Please
submit a title and short text abstract by email to
Alex.Simpson@ed.ac.uk
by the deadline of Thursday 27th January 2011. Notification of
acceptance will be by Monday 7th February 2011.
INVITED SPEAKERS
Nick Benton, Microsoft Research, Cambridge
Andrzej Filinski, Copenhagen University
Ohad Kammar, University of Edinburgh
Paul Blain Levy, University of Birmingham
Paul-Andre Mellies, Paris 7
Rasmus Ejlers Møgelberg, IT University of Copenhagen
Eugenio Moggi, University of Genova
Gordon Plotkin, University of Edinburgh
John Power*, University of Bath
Matija Pretnar, University of Ljubljana
Sam Staton*, University of Cambridge
Janis Voigtlaender*, University of Bonn
*to be confirmed
ORGANISING COMMITTEE
Andrej Bauer, University of Ljubljana
Matija Pretnar, University of Ljubljana
Alex Simpson, University of Edinburgh
reply other threads:[~2011-01-04 23:06 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='AANLkTik5ebHJSXfRuY_=Riex7JGNmQNpRCQxhaun-wBu@mail.gmail.com' \
--to=andrej.bauer@andrej.com \
--cc=caml-list@inria.fr \
/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