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).

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