Post #652852
2026-02-27 17:43 UTC
The Twelfth workshop on Mathematically Structured Functional Programming now has a webpage: https://msfp-workshop.github.io/msfp2026/ . We are affiliated with FSCD at FLoC 2026 in Lisbon this July.
@mkerjean and I are still getting some things organised, but now is the time to start thinking about your mathematically structured submissions!
Replies (2)
-
@bentnib@types.pl 2026-03-19 14:54
Correction: this is the *eleventh* MSFP. I was confused by the fact that it happens every two years!
-
@6d03@mathstodon.xyz 2026-02-27 18:25
@bentnib @mkerjean oh, nice!