Free online participation in MSFP, 8th July 2024
Favonia <[email protected]> Mon, 1 Jul 2024 12:04:00 -0500
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.prooftheory,gmane.comp.science.types.announce,gmane.comp.lang.haskell.general,gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club |
|---|---|
| Message-ID | <CAH_+rvffh74OUk1Ogb=d_U_6uqswMhyHwVGaBtav_EQYiga1zA@mail.gmail.com> |
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 _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda