======================================================================= FINAL CALL FOR PAPERS: MFPS XLI (MFPS 2025) 41st Conference on Mathematical Foundations of Programming Semantics June 18-20, 2025 in Glasgow, Scotland Joint with CALCO https://url.au.m.mimecastprotect.com/s/tMScCq71jxf8nZQMwiZfEUEkh_u?domain=co... *** Update: extended deadlines *** ======================================================================= IMPORTANT DATES (anywhere on earth): Abstract Submission: April 8, 2025 Paper Submission: April 9, 2025 Notification: May 15, 2025 Conference Paper: May 24, 2025 Final (post-proceeding) versions: Autumn 2025 ========================================================================= We are delighted to announce the 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2025). It will take place at the University of Strathclyde in Glasgow, Scotland. 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; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas. Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa. ----------------------------------------------------------------------- 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 Arhus, 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 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 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://url.au.m.mimecastprotect.com/s/MdB5Cr810kC87EqBJizh7U4Xcpt?domain=ea...) Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros (https://url.au.m.mimecastprotect.com/s/7e9jCvl1g2S7qx9kVczivUQb2AX?domain=mf...). 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 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 2025, please contact the co-chairs: Clemens Kupke and Stefan Milius (mfps2025@easychair.org)