Event Date/Time: May 19, 2004
End Date/Time: May 23, 2004
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.