I'm delighted to announce that there is free best-effort online
participation in the Tenth Workshop on Mathematically Structured Functional
Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn
next Monday, 8th July. Please *register your email in advance* so that we
can send you Zoom login info on Sunday evening. For details see the website:

   https://msfp-workshop.github.io/msfp2024/

Looking forward to seeing you!

Best,
Favonia and Jeremy

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2Brvffh74OUk1Ogb%3Dd_U_6uqswMhyHwVGaBtav_EQYiga1zA%40mail.gmail.com.