Joint CMU-Pitt
Philosophy Colloquium
Thursday
15 September 2005
4:30 pm, Baker Hall A53
Refreshments at 4 |
"What is Science?"
Paul Hoyningen-Huene
University of Hannover
Center for Philosophy and Ethics of Science
Abstract
|
Pure and Applied
Logic Colloquium
Thursday
29 September 2005
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Finite state automata and monadic theories of ordinals"
Itay Neeman
University of California
Los Angeles
Abstract
|
Philosophy
Colloquium
Tuesday
25 October 2005
4:30 pm, Baker Hall 255A |
"A logic of knowledge and communication for social software"
Eric Pacuit
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
Abstract
|
Joint Math/PAL
Colloquium
Thursday
27 October 2005
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Using computability theory to calibrate mathematical complexity"
Joseph Mileti
University of Chicago
Abstract
|
Philosophy
Colloquium
Thursday
10 November 2005
4:30 pm, Baker Hall A53
Reception at 4 |
"Multiple Criteria, Multiple Agents: Exploiting the Formal Isomorphism"
Sahotra Sarkar
University of Texas at Austin
Abstract
|
Pure and Applied
Logic Colloquium
Thursday
1 December 2005
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Towards a machine-checked proof of the enumeration of tame plane graphs"
Tobias Nipkow
Technical University
Munich, Germany
Abstract
|
Pure and Applied
Logic Colloquium
Thursday
8 December 2005
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Ordinal Analysis And Large Cardinals"
Wolfram Pohlers
University Of Muenster, Germany
And Ohio State University
Abstract
|