* [Caml-list] Free online participation in MSFP, 8th July 2024
@ 2024-07-01 17:04 Favonia
0 siblings, 0 replies; only message in thread
From: Favonia @ 2024-07-01 17:04 UTC (permalink / raw)
To: ProofTheory, univalent-mathematics, Homotopy Type Theory,
types-announce, haskell, caml-list, agda, coq-club, categories
Cc: Jeremy Gibbons
[-- Attachment #1: Type: text/plain, Size: 469 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 823 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-07-01 17:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-07-01 17:04 [Caml-list] Free online participation in MSFP, 8th July 2024 Favonia
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox