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 with contributions from current and former members of the LFCS, as well as contributions from LFCS visitors and friends.
LFCS30 begins with a celebration dinner on Tuesday 12th April at 7pm.
The dinner is held in the Playfair Library Hall, University of Edinburgh, Old College, South Bridge, Edinburgh EH8 9YL.
LFCS30 continues on 13th April with a programme of talks from LFCS members, alumni, and friends.
Wednesday, 13th April 2016
LFCS30 provides an opportunity to make links with other researchers in theoretical computer science across the UK and beyond.