Pure and Applied Logic Colloquium
Thursday 5 September 2002 4:30 pm, Baker Hall A53
|
Menachim Kojman
|
Pure and Applied Logic Colloquium
Thursday 26 September 2002 4:30 pm, Baker Hall A53
|
Robin Knight
|
Departments of Computer Science
Mathematics and Philosophy Saturday 12 October 2002 9:00 am - 5:30 pm, Baker Hall A53
|
in honor of Dana S. Scott
|
Pure and Applied Logic Colloquium
Thursday 31 October 2002 4:30 pm, Baker Hall A53
|
John Baldwin
|
Philosophy Colloquium
Friday 8 November 2002 4:30 pm, Porter Hall A18A
|
Bonnie Steinbock
|
Pure and Applied Logic Colloquium
Thursday 5 December 2002 4:30 pm, Baker Hall A53
|
James Lipton
|
(comments to: awodey@cmu.edu)