#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