Logic List Mailing Archive
CfP: MFPS XLI: 41st Conference on Mathematical Foundations of Programming Semantics, 16-20 June 2025, Glasgow (Scotland) – Joint with CALCO
=========================
=========================
=====================
CALL FOR PAPERS: MFPS XLI (MFPS 2025)
41st Conference on Mathematical Foundations of Programming Semantics
June 16-20, 2025 in Glasgow, Scotland
Joint with CALCO
https://coalg.org/calco-mfps-2025/mfps/
=========================
=========================
=====================
IMPORTANT DATES (anywhere on earth):
Abstract Submission: March 27, 2025
Paper Submission: April 3, 2025
Notification: May 12, 2023
Pre-proceedings: May 24, 2023
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.
-----------------------------------------------------------------------
INVITED SPEAKERS:
TBA
-----------------------------------------------------------------------
SPECIAL SESSIONS:
* Quantitative Semantics, organized by Ugo dal Lago (joint session with
CALCO)
* Mathematics of Natural Language, organized by Mernoosh 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-Nrnberg, 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-Nrnberg, 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-Nrnberg, Germany
Michael Mislove, Tulane University, USA
Jol 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, and
should be prepared
using the MFPS macros (https://mfpsconf.org/submissions-to-mfps/).
-----------------------------------------------------------------------
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)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php