Logic and Philosophy Talks at CMU

Past talks in this series The colloquium is held in Baker Hall A53. All talks start at 4:30 pm, with refreshments at 4

Pure and Applied Logic Colloquium Thursday 15 February 2007 4:30 pm, Baker Hall A53 Refreshments at 4	Computable Sets: Located and Overt Locales Bas Spitters Nejmegen University Abstract
Philosophy Department Colloquium Thursday 8 March 2007 4:30 pm, Baker Hall A53 Refreshments at 4	The Logic of Conditional Beliefs Hannes Leitgeb University of Bristol Abstract
Philosophy Department and Pure and Applied Logic Colloquium Thursday April 5 2007 4:30 pm, Baker Hall A53 Reception at 4	The Future of Proof Dana S. Scott CMU Abstract
Pure and Applied Logic Colloquium Thursday 26 April 2007 4:30 pm, Baker Hall A53 Refreshments at 4	The Associated Sheaf Functor Theorem in Algebraic Set Theory Nicola Gambino University of Quebec at Montreal Abstract
Philosophy Department Colloquium Thursday 3 May 2007 4:30 pm, Baker Hall A53 Refreshments at 4 in BH 135	Learning Bayes Nets Based on Conditional Dependencies Oliver Schulte Simon Fraser University Abstract

(comments to: awodey@cmu.edu)