Hi everyone, I apologise for cross-posting this, I'm making sure this reaches everyone who may be interested in case people dropped off mailing lists etc over the past 40 years. Please forward to other networks if relevant. In brief: pre-registration for these events closes **today** and does not require payment, you only need to pay later. Yours, Ohad. # Plotkin 80 / LFCS 40 / Wadler 70 September 7-9, 2026 Edinburgh, Scotland ** Pre-registration for this event is now open (_ends today_): ** https://forms.cloud.microsoft/e/dBqqyYBJ39 Please pre-register by July 31. The proper registration and payment system will be available from August 7. 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. LFCS40 is a celebration of forty years of innovation in these areas. http://events.inf.ed.ac.uk/lfcs40 LFCS40 will take place in Edinburgh on September 8th, 2026 with a programme of talks from current and former members of the LFCS, visitors, and friends. Two related events celebrating significant birthdays of Gordon Plotkin (co-founder and former Director) and Philip Wadler (Emeritus Chair of Theoretical Computer Science and former Director) are also taking place immediately before after LFCS40. Registration covers all three events. Confirmed invited speakers include: ## (September 7) Plotkin 80: A symposium in honour of Gordon Plotkin's 80th birthday http://events.inf.ed.ac.uk/plotkin80 Samson Abramsky (University College London, University of Oxford) Danel Ahman (University of Tartu) Marcelo Fiore (University of Cambridge) Philippa Gardner (Imperial College London) Dominic Hughes (U.C. Berkeley) David Pym (UCL & Institute of Philosophy, University of London) Rob van Glabbeek (University of Edinburgh) Glynn Winskel (Queen Mary London, University of Cambridge) Ningning Xie (University of Toronto, Google DeepMind) ## (September 8) LFCS 40: A symposium celebrating the 40th anniversary of the founding of the Laboratory for Foundations of Computer Science https://events.inf.ed.ac.uk/lfcs40/ 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) ## (September 9) Wadler 70: A symposium in honour of Phil Wadler's 70th birthday http://events.inf.ed.ac.uk/wadler70 John Hughes (Chalmers) Conor McBride (Strathclyde) Orestis Melkonian (Kodamai) Liam O'Connor (ANU) Jeremy Siek (Indiana) Peter Thiemann (Freiburg) Nobuko Yoshida (Oxford) The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th' ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.