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
|09:00||Gordon Plotkin — LFCS Now and Then [slides] [video]|
|09:30||Furio Honsell — From Computing Science to Politics [slides] [video]|
|11:00||Robert Harper — Two Kinds of Foundations [slides]|
|11:30||John Power — Modelling logic programming: an LFCS adventure [notes]|
|12:00||Jane Hillston — (not) How to join the LFCS [slides] [video]|
|14:30||Samson Abramsky — Some Thoughts on LFCS at 30 [slides] [video]|
|15:00||Philip Scott — Visiting LFCS over the past 25 years [slides] [video]|
|16:30||Peter Buneman — chain.fntolist,erase.applist and How Not to Do Research [slides] [video]|
|17:00||Philip Wadler — A few of LFCS’s greatest hits [slides] [video]|