[Agda] Free online participation in MSFP, 8th July 2024

[Favonia]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240701/7f06aa4e/attachment-0001.html>