[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
https://urldefense.com/v3/__http://events.inf.ed.ac.uk/lfcs40__;!!IBzWLUs!R-UdRe3Y_JeTiXG87zpid-SEjnKJeWOnaK2iHb9CaLdfiV-Mt2tHpQQTHXMB5bSB0Oqhf4w2OKX6_rVYBOi3YbNNZW3v5e-qp_I1$
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
https://urldefense.com/v3/__http://events.inf.ed.ac.uk/plotkin80__;!!IBzWLUs!R-UdRe3Y_JeTiXG87zpid-SEjnKJeWOnaK2iHb9CaLdfiV-Mt2tHpQQTHXMB5bSB0Oqhf4w2OKX6_rVYBOi3YbNNZW3v5SnC6Qhw$
(September 9) Wadler 70: A symposium in honour of Phil Wadler's 70th
birthday
https://urldefense.com/v3/__http://events.inf.ed.ac.uk/wadler70__;!!IBzWLUs!R-UdRe3Y_JeTiXG87zpid-SEjnKJeWOnaK2iHb9CaLdfiV-Mt2tHpQQTHXMB5bSB0Oqhf4w2OKX6_rVYBOi3YbNNZW3v5aBGNj-G$
Further details of all three events, with information about registration
and local
arrangements, will be circulated soon.
--James
