[TYPES/announce] Final call for participation: LFCS30 / WadlerFest, 11–13 April 2016, Edinburgh

Sam Lindley Sam.Lindley at ed.ac.uk
Thu Mar 10 17:46:41 EST 2016

This is the final call for participation at LFCS30 / WadlerFest.
Registration deadline: 24th March 2016.

WadlerFest (11–12 April 2016)

Professor Philip Wadler will turn sixty at the beginning of April, 2016. Phil 
will be presented with a Festschrift entitled "A list of successes that can
change the world" at a special event, WadlerFest, on Monday 11th–Tuesday 12th 
April 2016 in Edinburgh.


LFCS 30th Anniversary (13 April 2016)

Founded in 1986 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew 
Hennessy, the Laboratory for Foundations of Computer Science is a community of 
theoretical computer scientists with interests in research topics such as 
concurrency, semantics, categories, algebra, types, logic, algorithms, 
complexity, databases, and modelling, and their applications in Computer Science 
and beyond.

LFCS30 is a celebration of thirty years of innovation in these areas.


Speakers include:

   Samson Abramsky,
   Peter Buneman,
   George Cleland,
   Kousha Etessami,
   Philippa Gardner,
   Robert Harper,
   Furio Honsell,
   Gordon Plotkin,
   John Power,
   Philip Scott, and
   Philip Wadler.

Registration costs £25, as a contribution towards catering costs, and includes 
both events as well as coffee, lunch, and a celebration banquet, shared between 
the two events, on 12th April.


If you do not intend to attend all three days, then please let us know in the 
dietary requirements box so that we can adjust catering numbers accordingly. 
Alternatively send an email to:

   level4admin at inf.ed.ac.uk

Stephen Gilmore
Sam Lindley
Conor McBride
Don Sannella
Phil Trinder

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

More information about the Types-announce mailing list