Oct 21 G. Mints, T. Zhang (Stanford)
Propositional Logic of continuous transformations
Oct 28 Jesse Alama, Patrick Girard (Stanford)
Decision Methods for Arithmetical Universal-Existential Sentences
Nov 4 Jesse Alama, Patrick Girard (Stanford)
Decision Methods for Arithmetical Universal-Existential Sentences II
Nov 11 Jesse Alama, Patrick Girard (Stanford)
Decision Methods for Arithmetical Universal-Existential Sentences III
Nov 18 Makoto Tatsuta (National Institute of Informatics,
Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction
Nov 25 G. Mints (Stanford)
Computerized Exercises to a Course of First Order Logic
Dec 2 Harvey Friedman (Ohio State University, Columbus)
Boolean Relation Theory
Seminars this quarter are on Tuesdays at 4:15PM
in room 380:381T (Math building).
Nov 7 Ed Zalta (CSLI/Stanford)
Convergence in the Philosophy of Mathematics
(Board Room, Stanford Humanities Center)
Dec 3 Harvey Friedman (Ohio State)
(4:30-6PM, Baker Room, Stanford Humanities Center)
The Logical Methods in the Humanities Workshop meets on Fridays from 3-5PM in room 90-92Q. To be added to the mailing list, send email to firstname.lastname@example.org with the words `subscribe logical-methods' in the message text.
Department of Mathematics Colloquium takes place on Thursdays at 4:15 PM in the room 380-W, Mathematics Department (building 380).