36th International Conference on Mathematical Foundations of Programming Semantics — MFPS 2020

Université Paris Saclay, France
Week of June 1 — 5, 2020

To be jointly held with QPL'20

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.

Topics include, but are not limited to, the following: concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; 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.

Important dates (all AoE)

Invited Speakers and Organizers of Special Sessions



Submissions should be prepared using the ENTCS Macros, and should be up to 12 pages long excluding bibliography and appendices.

Submissions are done via EasyChair.


A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. ENTCS is open access.

Program Committee

Local Arrangements


For further information about MFPS2020, please contact johannp_AT_appstate_DOT_edu.