Skip to content

39th Conference on Mathematical Foundations of Programming Semantics MFPS XXXIX (MFPS 2023)

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: bio-computation; 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.

MFPS 2023 will take place at Indiana University Bloomington, with an option for remote participation.

Important Dates

All dates are “Anywhere on Earth”.

PC Chairs

Programme Committee

Invited speakers

Special Sessions

  • Proof Assistants, organized by Assia Mahboubi (joint with CALCO)
  • Categories of bidirectional processes, organized by Jules Hedges
  • Semantics and Compilers, organized by Amal Ahmed

Submissions instructions

Submissions should be made through EasyChair (https://easychair.org/conferences/?conf=mfps2023). Papers can be at most 15 pages long, excluding bibliography, and should be prepared using the MFPS macros (https://mfpsconf.org/?page_id=309).

Proceedings

A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS https://entics.episciences.org/). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL.

Contact

For any further information about MFPS 2023, please contact the co-chairs: Marie Kerjean (kerjean@lipn.fr) and Paul Levy (P.B.Levy@bham.ac.uk).