Plotkin 80
7 September 2026, Informatics Forum G.07
A symposium in honor of Gordon Plotkin's 80th birthday.
View event details
LFCS
Laboratory for Foundations of Computer Science
School of Informatics, The University of Edinburgh
LFCS 40
8 September 2026
LFCS, School of Informatics, University of Edinburgh
A Symposium on the Occasion of the 40th Anniversary of the Founding of the Laboratory for Foundations of Computer Science
About
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, security and cryptography, and quantum computing, and their applications in Computer Science and beyond.
Events
The LFCS 40th anniversary is taking place alongside related events taking place in Edinburgh.
LFCS 40
8 September 2026, Informatics Forum G.07
A symposium celebrating the 40th anniversary of the founding of the Laboratory for Foundations of Computer Science. Confirmed speakers so far include:
- Moshe Vardi (Rice University)
- Martin Grohe (RWTH Aachen)
- Sibylle Fröschle (TUHH)
- Andy Gordon (Cogna/ARIA)
- Prakash Panangaden (McGill)
Wadler 70
9 September 2026, Informatics Forum G.07
A symposium in honor of Phil Wadler's 70th birthday.
View event detailsContact
For enquiries regarding the events, scheduling, or registration assistance, please reach out via email.
Email the organisersLFCS
School of Informatics
University of Edinburgh
Informatics Forum
Edinburgh EH8 9AB