STANFORD UNIVERSITY
Autumn Quarter 2009

To be added to the Logical Methods mailing list, please send a message to logical-methods-join@lists.stanford.edu

MATHEMATICAL LOGIC SEMINAR

September 22
Organizational Meeting
(time: 16:15-17:30, room: 380-380X)

September 29
Grigori Mints (Stanford)
LEEDS SYMPOSIUM on PROOF THEORY and CONSTRUCTIVISM 3 - 16 July, 2009
(time: 16:15-17:45, room: 380-380X)

October 6
Solomon Feferman (Stanford)
What's definite? What's not?
(time: 16:15-17:45, room: 380-380X)

October 13
Fernando Ferreira (Lisbon/Stanford)
Bar-recursive intepretations of classical analysis
(time: 16:15-17:45, room: 380-380X)

October 20
Mike Stay (Google)
Renormalization and Computation
(time: 16:15-17:45, room: 380-380X)

October 27
Grigori Mints (Stanford)
Category Theory and Proof Theory
(time: 16:15-17:45, room: 380-380X)

November 3
Vaughan Pratt (Stanford)
Geodesic theory
Abstract momentum in curved space
(time: 16:15-17:45, room: 380-380X)

November 10
Grigori Mints (Stanford)
Categorical treatment of primitive recursive functions and functionals
(time: 16:15-17:45, room: 380-380X)

December 8
Grigori Mints (Stanford)
Challenges to logical ideal of proof
(time: 16:15-17:45, room: 380-380X)

Past Seminars and Lunches

Logic at Stanford