| 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.
|
|
