CALL FOR PAPERS: MFPS XLI (MFPS 2025)

The 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025) will take place from June 18-20, 2025, at the University of Strathclyde in Glasgow, Scotland. This conference is held jointly with CALCO.

About MFPS

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. It serves as a forum for researchers in mathematics and computer science to exchange ideas, and participation from neighbouring areas is strongly encouraged.

Topics of Interest

Topics include, but are not limited to:

• 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
• denotational and operational semantics
• rewrite theory
• proof theory
• Applications of semantics to novel areas

Participation

Participation in the meeting is expected to be in person. One author of every accepted paper must attend the meeting and give the presentation. Exceptions may be considered for unexpected problems with travel or visas.

Important Dates (Anywhere on Earth)

• Abstract Submission: April 8, 2025 (extended)
• Full-Paper Submission: April 9, 2025 (extended)
• Author Notification: May 15, 2025 (extended)
• Conference Paper: May 24, 2025
• Final (post-proceeding) versions: Autumn 2025

Invited Speakers

• Gordon Plotkin (keynote, joint with CALCO)
• Chris Heunen
• Delia Kesner
• Jurriaan Rot

Special Sessions

• Quantitative Semantics, organized by Ugo Dal Lago (joint session with CALCO)
• Mathematics of Natural Language, organized by Mehrnoosh Sadrzadeh
• Types and the Extraction of Correct Programs, organized by Ulrich Berger

Program Committee

• Sandra Alves (University of Porto, Portugal)
• Giorgio Bacci (Aalborg University, Denmark)
• Lars Birkedal (University of Aarhus, Denmark)
• Florence Clerc (Heriot-Watt University, Edinburgh, Scotland)
• Robin Cockett (University 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 Oxford, UK)
• 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)
• Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
• Catuscia Palamidessi (Inria, France)
• Prakash Panangaden (McGill University, Montreal, Canada)
• Simon Perdrix (Inria 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 (FAU Erlangen-Nürnberg, Germany)

MFPS Organizers

• Andrej Bauer (University of Ljubljana, Slovenia)
• Lars Birkedal (Aarhus University, Denmark)
• Stephen Brookes (Carnegie Mellon University, USA)
• Achim Jung (University of Birmingham, UK)
• Marie Kerjean (LIPN, Paris)
• Clemens Kupke (University of Strathclyde, Scotland)
• Paul Levy (University of Birmingham, UK)
• Catherine Meadows (Naval Research Laboratory, USA)
• Stefan Milius (FAU Erlangen-Nürnberg, Germany)
• Michael Mislove (Tulane University, USA)
• Joël Ouaknine (Max Planck Institute for Software Systems, Germany)
• Valeria de Paiva (Topos Institute, USA)
• Prakash Panangaden (McGill University, Canada)
• Alexandra Silva (Cornell University, USA)
• Alex Simpson (University of Ljubljana, Slovenia)
• Sam Staton (University of Oxford, UK)

Local Organizer

• Clemens Kupke (University of Strathclyde)
• Bob Atkey (University of Strathclyde)
• Dilsat Bilal Yuksel (University of Strathclyde)

Submission Instructions

• Submissions are made through EasyChair: https://easychair.org/conferences/?conf=mfps2025
• Papers can be at most 15 pages long, excluding bibliography.
• Papers should be prepared using the MFPS macros: https://mfpsconf.org/submissions-to-mfps/
• Proofs omitted due to space limitations may be included in a clearly marked appendix, to be consulted at the discretion of program committee members.

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). This 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 2025, please contact the co-chairs:

• Clemens Kupke
• Stefan Milius

Email: mfps2025@easychair.org