Logic and Philosophy Talks at CMU

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

 
Joint CMU-Pitt
Philosophy Colloquium


** Cancelled **


"Tarski's Conception of Logic"

Solomon Feferman
Stanford University
Abstract
Joint PAL-Math Colloquium
and Math-Logic Seminar

Monday
24 September 2001

4:30 pm, Wean 6423
Sorry no refreshments
"Proof mining: a proof theoretic approach to numerical analysis"

Ulrich Kohlenbach
BRICS
Department of Computer Science
University of Aarhus
Abstract
Pure and Applied Logic Colloquium
Thursday
18 October 2001

4:30 pm, Baker Hall A53
Refreshments at 4
TBA

Andres Villaveces
Department of Mathematics
Bogota, Columbia
Abstract
Pure and Applied Logic Colloquium
postponed to
Thursday
1 November 2001

4:30 pm, Baker Hall A53
Refreshments at 4
"Dynamic lambda-calculus"

Michael Kohlhase
Department of Computer Science
CMU and Saarbruecken
Abstract
Philosophy Colloquium
Thursday
8 November 2001

4:30 pm, Baker Hall A53
Refreshments at 4
"Virtue as Freedom"

Stephen Engstrom
Department of Philosophy
University of Pittsburgh
Abstract
Pure and Applied Logic Colloquium
Thursday
15 November 2001

4:30 pm, Baker Hall A53
Refreshments at 4
TBA

Christoph Benzmueller
Department of Computer Science
Saarbruecken University
Abstract
Pure and Applied Logic Colloquium
Thursday
29 November 2001

4:30 pm, Baker Hall A53
Refreshments at 4
"Theory of Judgments and Derivations"

Masahiko Sato
Graduate School of Informatics
Kyoto University
Abstract
Philosophy Colloquium
Thursday
6 December 2001

4:30 pm, Baker Hall A53
Refreshments at 4
"A Fresh Look at Goedel's Second Incompleteness Theorem"

Bernd Buldt
Department of Philosophy
CMU and University of Constance
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)