1月06日 - 2026年1月06日
International Conference on Mathematical Foundations of Programming Semantics
暂无关注者。
概览
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.
来源排名
来源: CORE2023
排名: B
研究领域: Theory of computation