Free online participation in MSFP, 8th July 2024

7 views

Skip to first unread message

Favonia

unread,

Jul 1, 2024, 1:04:37 PM (4 days ago) Jul 1

to Proof...@lists.bath.ac.uk, univalent-...@googlegroups.com, Homotopy Type Theory, types-a...@lists.seas.upenn.edu, has...@haskell.org, caml...@inria.fr, ag...@lists.chalmers.se, coq-...@inria.fr, categ...@mq.edu.au, Jeremy Gibbons

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

Reply all

Reply to author

Forward

0 new messages