Fall 2000

Robert Soare, The University of Chicago
"Computability Theory and Differential Geometry"

Kevin Ashley and Rosa Lynn Pinkus, University of Pittsburgh
"Modeling Learning to Reason with Cases in Engineering Ethics: A Test Domain for Intelligent Assistance"

Abas Edalat, Imperial College, London
"A Data Type for Solid Modeling and Computational Geometry"

Angela Weiss, CMU and University of Sao Paulo, Brazil
"Modal and Temporal Logics - A Survey and Introduction"

Robert Griffiths, CMU
"Probabilistic Counterfactuals"

Paolo Mancosu, University of California, Berkeley
"Mathematical Explanation: Problems and Prospects"
 

1999-2000

Dagfinn Follesdal, University of Oslo and Stanford University
"Goedel and Husserl"

Stuart Shapiro, Ohio State University
"The Status of Logic"

Harvey Friedman, Ohio State University
"A Complete Theory of Everything"

Oliver Schulte, University of Alberta
"Reliable and Efficient Inquiry in Particle Physics"

Joel Hamkins, City University of New York
"Infinite time Turing machines"

W.W. Tait, The University of Chicago
"Cantor's 'Grundlagen' and the paradoxes of set theory"

Warren Goldfarb, Harvard University
"On Dummett's 'Proof-Theoretic Justifications of Logical Laws' "

Pino Rosolini, University of Genoa
"An abstract look at realizability"

Neil W. Tennant, Ohio State University
"Conservativeness, Incompleteness and Deflationism"

Carsten Butz, McGill University
"A non-standard model of arithmetic"

Lars Birkedal, Carnegie Mellon University
"An introduction to developing theories of types and computation using
realizability"

F. W. Lawvere, SUNY Buffalo
"The dialectic logic of mathematics"

Jens Blanck, Swansea University, UK
"Computation on topological algebras"

Chris Miller, Ohio State University
"Varieties of tameness phenomena in expansions of the real field"

Jan Mycielski, University of Colorado
"Finite or constructive foundations of mathematics"

Frank Pfenning, Carnegie Mellon University
"A Judgmental Reconstruction of Modal Logics"

Jeffery Zucker, McMaster University
"Abstract versus Concrete Models of Computation on Partial Metric Algebras"

1998-99

Andre Carus, The University of Chicago
"Carnap and Hilbert, 1929-31" (Phil)

Michael Macy, Department of Sociology, Cornell University
"Are Games Really Played by the Rules?"

David Malament, The University of Chicago
"On the Geometry of 'Time Travel' in Godel's Universe"

Tim Carlson, Department of Mathematics, Ohio State University
"Axioms of Infinity, Proof-Theoretic Ordinals, and Patterns of Resemblance"

Walter Noll, Department of Mathematics, CMU
"Conceptual Mathematics, Categories, Functors, and Tensors"

 Wolfgang Spohn, University of Konstanz, Germany
"A Rationalization of Cooperation in the Iterated Prisoners' Dilemma"

Jaap van Oosten, Utrecht University, The Netherlands
"Realizability: combining proof theory and category theory"

Thomas Richardson, Department of Statistics, University of Washington
"Tractable structure search in the presence of latent variables"

Henk Barendregt, Nijmegen University, The Netherlands
"Foundations with computational power"

Andreas Blass, Department of Mathematics, University of Michigan
"Linear logic and Herbrand's theorem"

Stig Andur Pedersen, Roskilde University, Denmark
"Knowledge and Learning in Branching Time''

Piotr Swistak, Department of Government and Politics, University of Maryland, College Park
"Homo Economicus and the Necessity of Norms"

Rick Sommer, Stanford University
"Elementary Infinitesimal Analysis"

Alex Simpson, Division of Informatics, University of Edinburgh
"Elementary Axioms for the Category of Classes"

Bruce Tesar, Department of Linguistics, Rutgers University
"Overcoming Ambiguity in Language Learning"