#mfps — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mfps, aggregated by home.social.
-
"The category of nominal sets is locally Clouston closed"
I have become jargon?!
https://ul-fmf.github.io/mfps-sstt-2026/mfps-accepted-papers/
-
The pre-print is now available at https://www.coalg.org/calco-mfps-2025/pre-proceedings/MFPS25-29.pdf , it will be the last talk of the day at #MFPS on Thursday!
-
#CallForPapers : #MFPS #MFPS2023 (Conference on Mathematical Foundations of Programming Semantics) is "dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular". https://coalg.org/calco-mfps-2023/mfps/ #logic #tcs #theoreticalCS
-
Valeria de Paiva wrote:
> The first call of papers for Conference on #Algebra and #Coalgebra in Computer Science (CALCO 2023) is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #mfps