Logic List Mailing Archive

CfP: Workshop in Celebration of Marcelo Fiore's 60th Birthday, 2-3 July 2026, Cambridge (UK)

Dear all,

In celebration of Marcelo Fiore's 60th birthday this summer - and in recognition of his foundational contributions to the semantics of programming languages, type theory, and category theory - we are hosting a workshop in his honour at the Department of Computer Science and Technology, University of Cambridge on 2nd - 3rd of July 2026.

The website for the workshop may be found here:
https://fiorefest.gitlab.io/home

There are no registration fees, but we ask participants to register using the form found on the website, by the 1st of June.

Best wishes,
{Nathanael, Vikraman, Zeinab}
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php