Logic and Philosophy Talks at CMU

The following list is updated regularly.


 
Pure and Applied Logic Colloquium

Thursday
11 February 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)
"Realizability: Combining Proof Theory and Category Theory"
Jaap van Oosten
Utrecht University, The Netherlands
Abstract
Philosophy/CALD Colloquium

Thursday
18 February 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:10)

"Tractable Structure Search in the Presence of Latent Variables"
Thomas Richardson
University of Washington Department of Statistics
Abstract
Pure and Applied Logic Colloquium

Thursday
4 March 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)
"Foundations with Computational Power"
Henk Barendregt
Nijmegen University, The Netherlands
Abstract
Pure and Applied Logic Colloquium

Thursday
18 March 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"Linear Logic and Herbrand's Theorem"
Andreas Blass
University of Michigan
Abstract
Philosophy Colloquium

Thursday
1 April 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

``Knowledge and Learning in Branching Time''
Stig Andur Pedersen
Roskilde University, Denmark
Abstract
Joint Colloquium
Philosophy/Social and Decision Sciences

Thursday
8 April 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)

"Homo Economicus and the Necessity of Norms"
Piotr Swistak
Department of Government and Politics
University of Maryland, College Park
Abstract
Pure and Applied Logic Colloquium

Thursday
15 April 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)
"Elementary Infinitesimal Analysis"
Rick Sommer
Stanford University
Abstract
Pure and Applied Logic Colloquium

Thursday
22 April 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)
"Elementary Axioms for the Category of Classes"
Alex Simpson
Division of Informatics
University of Edinburgh
Abstract
Philosophy Colloquium

Thursday
29 April 1999

4:30 PM, 5409 Wean Hall
(refreshments at 4:15)
"Overcoming Ambiguity in Language Learning"
Bruce Tesar
Department of Linguistics
Rutgers University
Abstract
Pure and Applied Logic Colloquium

Thursday
5 May 1999

4:30 PM, 5409 Wean Hall
*refreshments at 4pm*
"An Intuitionistic Proof of a Fixed-Point Theorem"
Dana S. Scott
Carnegie Mellon University
Abstract

 | CMU | H&SS | Philosophy