[TYPES/announce] European Workshop on Computational Effects

Alex Simpson Alex.Simpson at ed.ac.uk
Mon Jan 3 06:44:58 EST 2011


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 at 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

-- 
Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: Alex.Simpson at ed.ac.uk             Tel: +44 (0)131 650 5113
Web: http://homepages.inf.ed.ac.uk/als   Fax: +44 (0)131 651 1426

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.



More information about the Types-announce mailing list