[TYPES/announce] LFCS 30th anniversary celebration + WadlerFest, 11-13 April 2016, Edinburgh
Don Sannella
dts at inf.ed.ac.uk
Mon Feb 1 07:51:53 EST 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.
http://events.inf.ed.ac.uk/lfcs30/
LFCS30 will take place in Edinburgh on 13th April with a programme of
talks from current and former members of the LFCS, visitors, and
friends. It will be preceded by WadlerFest, a celebration of Philip
Wadler's 60th birthday, on 11-12 April. Phil will be presented with a
festschrift entitled "A list of successes that can change the world".
http://events.inf.ed.ac.uk/wf2016/
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.
http://www.epay.ed.ac.uk/browse/product.asp?compid=1&modid=2&catid=42
Stephen Gilmore
Sam Lindley
Magdalena Mazurczak
Don Sannella
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the Types-announce
mailing list