[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I'm delighted to be able to announce that there is free best-effort online
participation in the Tenth Workshop on Mathematically Structured Functional
Programming (MSFP 2024), colocated with FSCD, ICALP, and LICS in Tallinn next
Monday, 8th July. Register your email in advance in order to receive Zoom login
info on Sunday evening. For details see the website:
https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2024/__;!!IBzWLUs!V7UibhP-VVMrYkqBaG_acGbquTfhoBb-uJ6S55Phm7X0kELjGRyTGQ6O3QlOqmGcraT9FlaKp4OSThdV1AR8CRDes8HAaspPyOUZXwpawYs$
Favonia and Jeremy
[email protected]
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283525
https://urldefense.com/v3/__http://www.cs.ox.ac.uk/people/jeremy.gibbons/__;!!IBzWLUs!V7UibhP-VVMrYkqBaG_acGbquTfhoBb-uJ6S55Phm7X0kELjGRyTGQ6O3QlOqmGcraT9FlaKp4OSThdV1AR8CRDes8HAaspPyOUZjpo7-3s$