From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p04N68a3008200 for ; Wed, 5 Jan 2011 00:06:08 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBAGs2I03RVdI2kGdsb2JhbACDd5IXAQGOFQgVAQEBAQkJDAcRBCClIok7jhiBIIM2dASLBw X-IronPort-AV: E=Sophos;i="4.60,274,1291590000"; d="scan'208";a="85455579" Received: from mail-pz0-f54.google.com ([209.85.210.54]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Jan 2011 00:06:04 +0100 Received: by pzk32 with SMTP id 32so3500211pzk.27 for ; Tue, 04 Jan 2011 15:06:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.142.131.4 with SMTP id e4mr18236822wfd.441.1294182362621; Tue, 04 Jan 2011 15:06:02 -0800 (PST) Received: by 10.143.14.9 with HTTP; Tue, 4 Jan 2011 15:06:02 -0800 (PST) Date: Wed, 5 Jan 2011 00:06:02 +0100 Message-ID: From: Andrej Bauer To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p04N68a3008200 Subject: [Caml-list] European Workshop on Computational Effects 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