LFCS30
Edinburgh, 12th and 13th April 2016
A celebration of the thirtieth anniversary of the Laboratory for Foundations of Computer Science. Held in conjunction with WadlerFest 2016, a celebration of Philip Wadler's 60th birthday.
A Celebration Of Thirty Years.
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.
Attendees
Schedule
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.
Programme
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] |
| 10:00 | George Cleland |
| 10:30 | Coffee break |
| 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] |
| 12:30 | Lunch |
| 14:00 | Philippa Gardner — Understanding and Verifying JavaScript Programs [slides] |
| 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] |
| 15:30 | Coffee break |
| 16:00 | Kousha Etessami |
| 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] |
Thanks
Sponsored by SICSA
LFCS30 and WadlerFest 2016 gratefully acknowledge sponsorship from the Modelling and Abstraction theme of the Scottish Informatics and Computer Science Alliance (SICSA).
Organised by LFCS
The local organising committee of LFCS30 consists of Don Sannella, Stephen Gilmore, Sam Lindley and Magdalena Mazurczak.