41st Conference on Mathematical Foundations of Programming Semantics MFPS XLI (MFPS 2025)
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.
Important Dates
- Abstract submission: March 27, 2025
- Full-Paper submission: April 3, 2025
- Author notification: May 12, 2025
- Conference Paper: June 1, 2025
All dates are Anywhere on Earth.
Chairs
- Stefan Milius (Friedrich-Alexander-Universität Erlangen-Nürnberg)
- Clemens Kupke (University of Strathclyde)
Program Committee
- Sandra Alves (University of Porto, Portugal)
- Giorgio Bacci (University of Aalborg, Denmark)
- Lars Birkedal (University of Aarhus, Denmark)
- Florence Clerc (Heriot-Watt University, Edinburgh, Scotland)
- Robin Cockett (Univeristy of Calgary, Canada)
- Claudia Faggian (IRIF Paris, France)
- Giulio Guerrieri (University of Sussex, UK)
- Shin-ya Katsumata (NII, Tokyo, Japan)
- S. Krishna (IIT Bombay, India)
- Clemens Kupke (University of Strathclyde, Scotland (co-chair))
- Elena di Lavore (University of Pisa, Italy)
- Paul Levy (University of Birmingham, UK)
- Isabella Mastroeni (University of Verona, Italy)
- Stefan Milius (FAU Erlangen-Nürnberg, Germany (co-chair))
- Daniele Nantes-Sobrinho (Imperial College London, UK)
- Frederik Nordvall-Forsberg (University of Strathclyde, Scotland)
- Catuscia Palamidessi (INRIA Saclay and LIX, France)
- Prakash Panangaden (McGill University, Montreal, Canada)
- Simon Perdrix (LORIA, France)
- Elaine Pimentel (University College London, UK)
- Alex Simpson (University of Ljubljana, Slovenia)
- Sam Staton (University of Oxford, UK)
- Dario Stein (Radboud University Nijmegen, The Netherlands)
- Qiyi Tang (University of Liverpool, UK)
- Stelios Tsampas (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)