10 Dec
2003
10 Dec
'03
9:59 p.m.
In this announcement:
=======================================================
FIRST ANNOUNCEMENT MFPS 20 Twentieth Workshop on the Mathematical Foundations of Programming Semantics Carnegie Mellon University May 23 - 26, 2004
Co-located with Annual Association of Symbolic Logic Meeting
the session:
Domain Theory - organized by Steve Awodey (CMU)
should read: Logical Foundations of Programming Semantics (joint session with ASL) - organized by Steve Awodey (CMU) thanks, Steve