Department of Mathematics

Fall quarter 2000

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 takes place on Fridays at 12:00 PM in room 383-N,

Mathematics Department (building 380).

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

**Past Seminars****Logic at Stanford**