The Mathematical Foundations of Programming Semantics (MFPS) conference series focuses on the semantics of high-level programming languages and its logical and mathematical foundations. The MFPS series attracts logicians, mathematicians and theoretical computer scientists who meet to exchange ideas and discuss problems of mutual interest.
MFPS meetings typically feature several plenary talks by leading researchers, as well as special sessions. Each special session focuses on a particular topic, with a plenary lecture, followed by several shorter talks by other experts in the area. The overall goal is to enhance interactions with neighboring areas, by inviting colleagues from those areas to present talks about their research and how it interacts with the traditional focus areas of MFPS. The remainder of the program is devoted to contributed talks selected by the Program Committee from submissions received in response to the Call for Papers.
The 2026 meeting is taking place in Ljubljana, Slovenia this month. More details – including the Call for Participation – can be found here.
Subscribe to the MFPS mailing list – send you name, affiliation and preferred email address with the subject line “Subscribe” here MFPSconf.