MFPS conf erences are dedicated to the areas of mathematics, logic, and computer science that are related to m odels of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and compute r science can meet and exchange ideas. The partici pation of researchers in neighbouring areas is str ongly encouraged.
\nMFPS 2025 is co-locate d with the 11th Conference on Algebra and Coalgebr a in Computer Science (CALCO). The programme will include special sessions on Quantitative Semantics , Mathematics of Natural Language, and Types and t he Extraction of Correct Programs.
\nTopics include, but are not limited to, th e following: bio-computation; concurrent qualitati ve and quantitative distributed systems; process c alculi; probabilistic systems; constructive mathem atics; domain theory and categorical models; forma l languages; formal methods; game semantics; lambd a calculus; programming language theory; quantum c omputation; security; topological models; logic; t ype systems; type theory; denotational and operati onal semantics; rewrite theory; proof theory. We a lso welcome contributions that address application s of semantics to novel areas.
\nSubmissio ns are made through EasyChair. Papers can be at most **1 5 pages** long, excluding bibliography, and should be prepared using the MFPS macros.
\n