[TYPES/announce] MFPS FInal Call for Papers (extended deadlines)

Sat Mar 29 16:21:22 EDT 2025

=======================================================================

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://urldefense.com/v3/__https://coalg.org/calco-mfps-2025/mfps/__;!!IBzWLUs!XXr_0hFxbY_pZYFG8k8sIX4LYENBqPY_6e2oAlLSnXHvv2ZXMr8s5OzCVa0hhoOk5fMnDwQiobMVP3NpmEE4NWap2NDvTnnkVS_dHrmBN22STA$ 

*** 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2025__;!!IBzWLUs!XXr_0hFxbY_pZYFG8k8sIX4LYENBqPY_6e2oAlLSnXHvv2ZXMr8s5OzCVa0hhoOk5fMnDwQiobMVP3NpmEE4NWap2NDvTnnkVS_dHrnysfXTaw$ )
Papers can be at most **15 pages** long, excluding bibliography, and 
should be prepared using the MFPS macros 
(https://urldefense.com/v3/__https://mfpsconf.org/submissions-to-mfps/__;!!IBzWLUs!XXr_0hFxbY_pZYFG8k8sIX4LYENBqPY_6e2oAlLSnXHvv2ZXMr8s5OzCVa0hhoOk5fMnDwQiobMVP3NpmEE4NWap2NDvTnnkVS_dHrkSrCeIrQ$ ).
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 at easychair.org)