Free online participation in MSFP, 8th July 2024

Favonia <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.