MFPS XL: Mathematical Foundations of Programming Semantics

Invited speakers

MFPS will have four invited speakers:

• Philippa Gardner (Imperial College, London, UK)
• Ohad Kammar (University of Edinburgh, UK)
• Catuscia Palamidessi (INRIA Saclay & LIX, France)
• Andrew Pitts (University of Cambridge Emeritus, joint ACT/MFPS plenary speaker)

Special sessions

There will also be two special sessions.

• Special session in memory of Philip Scott (joint session with ACT, organiser Rick Blute)
• Special session on the semantics of non-wellfounded and circular proofs (organisers Anupam Das and Abhishek De)