Logic and Philosophy Talks at CMU

Past talks in this series
The colloquium is held in Baker Hall A53 (downstairs in the "New Wing")
All talks start at 4:30 pm, with refreshments at 4

 
Pure and Applied Logic Colloquium
Thursday
20 January 2005

4:30 pm, Baker Hall A53
Refreshments at 4
"Gleason's theorem for non-separble Hilbert spaces"

Robert Solovay
University of California, Berkeley
Abstract
Pure and Applied Logic Colloquium
Thursday
31 March 2005

4:30 pm, Baker Hall A53
Refreshments at 4
"From intuitionistic to point-free topology"

Erik Palmgren
University of Uppsala
Abstract
Philosophy Colloquium
Thursday
21 April 2005

4:30 pm, Baker Hall A53
Refreshments at 4
"Logical Dynamics Today: merging update, revision, and interaction"

Johan van Bentham
University of Amsterdam and Stanford University
Abstract


The Pure and Applied Logic (PAL) Colloquium is sponsered jointly
by the departments of Computer Science, Mathematics, and Philosophy,
Carnegie Mellon University.

(comments to: awodey@cmu.edu)