
06 janvier - 06 janvier 2026
International Conference on Mathematical Foundations of Programming Semantics
Aucun abonné pour le moment.
Aperçu
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 will take place Ljubljana, Slovenia in June.
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 will take place Ljubljana, Slovenia in June.
Dates de la conférence
Conference Date
6 janvier 2026
- 1 juin 2026
- 18 juin 2025 - 20 juin 2025
Classement source
Source: CORE2023
Classement: B
Domaine de recherche: Theory of computation