Welcome to the
Mathematical Foundations of Programming Semantics
website

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 2024 meeting will be co-located with the 2024 Applied Category Theory Conference, and will take place on the campus of the University of Oxford in June. More details – including the Call for Papers – can be found here.