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