Post #1846849
2026-04-30 20:58 UTC
The deadline for the eleventh Mathematically Structured Functional Programming workshop has been extended to 7th May.
Submission site: https://submissions.floc26.org/msfp
Main site: https://msfp-workshop.github.io/msfp2026/
We are looking for long and short papers and interesting talks on applying mathematics to programming.
@mkerjean
Replies (2)
-
@ohad@mathstodon.xyz 2026-04-30 21:40
@bentnib I think I have something to submit, will check with my coauthor @mkerjean
-
@eigil@mathstodon.xyz 2026-05-07 14:37
@bentnib @mkerjean Are extended abstracts (or papers, fot that matter) supposed to be anonymized? I can't see any info about this on the website.