SCHEDULE

The meeting will begin on Wednesday morning, May 19, and will continue
until Sunday, around noon, on May 23. The Mathematical Foundations of
Programming Semantics meeting will be held immediately following.
Sunday morning's program will be sponsored jointly by the two meetings.

On Friday night, May 21, there will be a conference dinner sponsored
jointly by the Departments of Computer Science, Mathematical Sciences,
and Philosophy at Carnegie Mellon, and by the Center for Philosophy of
Science at the University of Pittsburgh.

The full conference schedule is available in PDF format.