STANFORD UNIVERSITY
Department of Mathematics
Fall quarter 2000

MATHEMATICAL LOGIC SEMINAR

Sep 26 Organization Meeting

Oct 10 Peter Selinger
Typed lambda calculus: normalization

Oct 17 Aarati Parmar
Higher Type realizability

Oct 24 Matteo Slanina
The negative translation

Oct 31 Helmut Schwichtenberg
Refined program extraction from classical proofs

Nov 7 Bernd Finkbeiner
Non-size-increasing polynomial time computation

Nov 14 Aaron Stump
Program extraction from normalization proofs

Nov 21 Helmut Schwichtenberg
An arithmetic for non-size-increasing polynomial time computation

Nov 28 John Goodrick
Restricting Gödel's T

Dec 5 Helmut Schwichtenberg
Feasible programs from proofs

Seminars usually take place on Tuesdays at 4:15 PM in room 381-T,
Mathematics Department (building 380).

A tentative seminar schedule was proposed at the organizational meeting and is available here.

LOGIC LUNCH

Logic lunch takes place on Fridays at 12:00 PM in room 383-N,
Mathematics Department (building 380).

MATHEMATICS COLLOQUIUM

Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).