Mathematical Foundations of Programming Semantics
June 6, 2018 - June 9, 2018
The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018.
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.