Events and news relevant to the Laboratory for Foundations of Computer Science

[James Cheney <jcheney@inf.ed.ac.uk>]

  Plotkin 80 / LFCS 40 / Wadler 70

  September 7-9, 2026
  Edinburgh, Scotland

** Pre-registration for this event is now open: **

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 Philip 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.