#mfps — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mfps, aggregated by home.social.
-
#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