Joint CMU-Pitt
Philosophy Colloquium
|
Solomon Feferman
|
Joint PAL-Math Colloquium
and Math-Logic Seminar Monday
4:30 pm, Wean 6423
|
Ulrich Kohlenbach
|
Pure and Applied Logic Colloquium
Thursday 18 October 2001 4:30 pm, Baker Hall A53
|
Andres Villaveces
|
Pure and Applied Logic Colloquium
postponed to Thursday 1 November 2001 4:30 pm, Baker Hall A53
|
Michael Kohlhase
|
Philosophy Colloquium
Thursday 8 November 2001 4:30 pm, Baker Hall A53
|
Stephen Engstrom
|
Pure and Applied Logic Colloquium
Thursday 15 November 2001 4:30 pm, Baker Hall A53
|
Christoph Benzmueller
|
Pure and Applied Logic Colloquium
Thursday 29 November 2001 4:30 pm, Baker Hall A53
|
Masahiko Sato
|
Philosophy Colloquium
Thursday 6 December 2001 4:30 pm, Baker Hall A53
|
Bernd Buldt
|
(comments to: awodey@cmu.edu)