June 1, 2022

The 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 38) will be held as a hybrid event July 11-13, 2022 at Cornell University and online. The conference is organized by faculty in the Cornell Bowers CIS computer science department including, Justin Hsu, Alexandra Silva, and Dexter Kozen.