Plotkin 80
7 September 2026, Informatics Forum G.07
A symposium in honour 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:
- Tariq Elahi (University of Edinburgh)
- Sybille Fröschle (TUHH - Hamburg University of Technology)
- Andrew D. Gordon (Cogna/ARIA)
- Martin Grohe (RWTH Aachen)
- Heng Guo (University of Edinburgh)
- Chris Heunen (University of Edinburgh)
- Leonid Libkin (University of Edinburgh)
- Prakash Panangaden (McGill University)
- Elizabeth Polgreen (University of Edinburgh)
- Moshe Vardi (Rice University)
Wadler 70
9 September 2026, Informatics Forum G.07
A symposium in honour of Phil Wadler's 70th birthday.
View event detailsRegistration
Pre-registration is now open using this form:
Registration formPlease register by July 31 to qualify for the early registration rate. The proper registration and payment system will open on around August 7.
If you have pre-registered you must still complete the registration and payment to confirm attendance.
Early registration is £40 and covers all three events including lunches on three days, a reception and a catered dinner.
Non-early registration will cost more.
Contact
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