Event Date/Time: May 19, 2004 End Date/Time: May 23, 2004
Report as Spam

Description

The Local Organizing Committee members include J. Avigad (Chair), S. Awodey, L. Blum, J. Cummings, E. Schimmerling, and W. Sieg. The 2004 Mathematical Foundations of Programming Semantics (MFPS) Meeting, to begin on May 23, 2004, will co-locate with the ASL Annual Meeting. For more information about MFPS, visit http://.math.tulane.edu/MFPS.html.

Venue

Types