Past Seminars Logic at StanfordApril 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