[TYPES/announce] Final call for participation: LFCS30 / WadlerFest, 11–13 April 2016, Edinburgh
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
LFCS30 is a celebration of thirty years of innovation in these areas.
Philip Scott, and
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
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the Types-announce