[TYPES/announce] Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday

[Vikraman Choudhury]

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://urldefense.com/v3/__https://fiorefest.gitlab.io/home__;!!IBzWLUs!S1OpgJCTb7mlIdUePBPRh3oxK074wVVi5v2izOi_VtJ7MH5lprcA4Et0o-6jP8FgmFe0Jv02m4A81gqa4vCYtwbaXtDf0hrBHVd2VnXF$ 

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}