Department of Mathematics
Spring quarter 1999


April 6 Grigori Mints (Stanford)
Ch. 11 of "Vicious Circles", applications to modal logic.

April 13 Nikolaj Bjorner (Kestrel Institute)
Greatest fixed points chapter from "Vicious Circles"

April 20 Sol Feferman (Stanford)
Uniform operators and coalgebras--Ch. 16 of "Vicious Circles"

April 27 Sol Feferman (Stanford)
Coalgebras and uniform operators (Ch. 16 of "Vicious Circles", contd.)

May 4 Sol Feferman (Stanford)
Co-algebras and co-recursion (cont'd.)

May 11 Sol Feferman (Stanford)
Discussion of open questions re "Vicious Circles" approach vs.
categorical approach to coalgebras, corecursion and applications.

May 18 Vaughan Pratt (Stanford)
God also made the continuum: Representation of the reals as a final coalgebra

May 25 Dominic Hughes (Stanford)
Full completeness of the multiplicative linear logic of Chu spaces.

June 1 Dominic Hughes (Stanford)
Full completeness of the multiplicative linear logic of Chu spaces (end)

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


April 2 Aldo Antonelli (U.C. Irvine) - Held in Room 380:381T
Free set algebras satisfying systems of equations

April 16 Bruce Kapron (University of Victoria)
Bounded Continuity and Sequentiality

April 23 J Strother Moore (University of Texas, Austin)
Proving Theorems about Commercial Microprocessors: Recent Results with ACL2

April 30 Matthias Baaz (Technische Universitat Wien)
Fast Cut-Elimination For First-Order Logic

May 7 Michael Zakharevich (University of California at San Francisco and Synarc Inc.)
Infinite Limits in SAT problem

May 14 John Mitchell (Stanford)
Linear Logic and Protocol Security

May 21 John Kadvany (Applied Decision Analysis)
The Mathematical Present as History: Imre Lakatos' Proofs and Refutations

June 4 Rick Sommer (Stanford)
Elementary Infinitesimal Analysis

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


April 22 Thomas Scanlon (U.C. Berkeley)
Diophantine Geometry via Geometric Stability Theory

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

o Past Seminars
o Logic at Stanford