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

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

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. 

Confirmed invited speakers so far include:

Sybille Fröschle, TUHH - Hamburg University of Technology

Andrew D. Gordon, Cogna/ARIA

Martin Grohe, RWTH Aachen

Prakash Panangaden, McGill University

Moshe Vardi, Rice University

Two related events that may be of interest are also taking place immediately before 

and after LFCS40:

(September 7) Plotkin 80: A symposium in honour of Gordon Plotkin's 80th birthday

http:/events.inf.ed.ac.uk/plotkin80

(September 9) Wadler 70: A symposium in honour of Phil Wadler's 70th birthday 

http://events.inf.ed.ac.uk/wadler70

Further details of all three events, with information about registration and local 

arrangements, will be circulated soon.

--James

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.