Please note that this newsitem has been archived, and may contain outdated information or links.
30 August - 2 September 2021, 37th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXVII / MFPS 2021), Virtual and/or Salzburg (Austria)
MFPS conferences are 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. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
Please note that this newsitem has been archived, and may contain outdated information or links.