Pure and Applied Logic Colloquium
Thursday
14 September 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Computability Theory and Differential Geometry"
Robert Soare
Deaprtment of Mathematics
The University of Chicago
Abstract
|
| Philosophy Colloquium
Thursday
21 September 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Modeling Learning to Reason with Cases in Engineering
Ethics: A Test Domain for Intelligent Assistance"
Kevin Ashley and Rosa Lynn Pinkus
Intelligent Systems Program and Learning Research & Development
Center
University of Pittsburgh
Abstract
|
Pure and Applied Logic Colloquium
Thursday
28 Sptember 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"A Data Type for Solid Modeling
and Computational Geometry"
Abas Edalat
Department of Computing
Imperial College, London
Abstract
|
Pure and Applied Logic Colloquium
Thursday
12 October 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Modal and Temporal Logics - A Survey and Introduction"
Angela Weiss
CMU
University of Sao Paulo - Brazil
Abstract
|
Philosophy Colloquium
Thursday
26 October 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Probabilistic Counterfactuals"
Robert Griffiths
Physics Department, CMU
Abstract
|
Pure and Applied Logic Colloquium
Thursday
9 November 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Grothendieck rings, Euler characteristics, and
Schanuel dimensions of models"
Thomas Scanlon
University of California, Berkeley
Abstract
|
Philosophy Colloquium
Thursday
16 November 2000
4:30 PM, 5409 Wean Hall
(refreshments at 4:15) |
"Mathematical Explanation: Problems and Prospects"
Paolo Mancosu
University of California, Berkeley
Abstract
|