Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday
4 views
Skip to first unread message
Vikraman Choudhury
9:09 AM (8 hours ago) 9:09 AM
to types-a...@lists.seas.upenn.edu, construc...@googlegroups.com, homotopyt...@googlegroups.com, ag...@lists.chalmers.se, univalent-...@googlegroups.com, logic...@outlook.com, sp...@lists.cent.gla.ac.uk, Nathanael Arkor, Zeinab Galal
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}
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}
Reply all
Reply to author
Forward
0 new messages