Department of Mathematics
Spring quarter 2003


April 8 G. Mints (Stanford)
Workshop on Proof Theory and Algorithms, Edinburgh March 23-28, 2003

April 15 M. Zakharevich
Basic Concepts in Quantum Computations

April 22 Johan van Benthem (Amsterdam and Stanford)
RATIONAL DYNAMICS: game-theoretic equilibria as logical fixed-points of repeated announcements

June 3 S. Tupailo (Leeds)
On the intuitionistic strength of monotone inductive definitions

July 1 Zoltan Esik (University of Szeged, Hungary)
The equational theory of fixed points

Seminars this quarter are on Tuesdays at 4:15PM
in room 380:381T (Math building).


April 4 Aarati Parmar (Stanford)
A Logical Measure of Progress for Planning
(Room changed to 380-381U)

April 11 John McCarthy (Stanford)
First order theories of individual concepts and propositions

April 18 Darko Sarenac (Stanford)
Modal Logics for Product Topologies

April 25 Yiannis N. Moschovakis (UCLA and University of Athens)
Is the Euclidean algorithm optimal among its peers?

May 2 Johan van Benthem (Stanford)
The Categorial Fine-Structure of Natural Language

May 16 Ben Escoto (Stanford)
Ockham's Razor and Kolmogorov complexity theory

May 23 Isidora Stojanovic (Stanford)
Referentialist and Descriptivist Approaches to Indexicals: Towards a Compromise
In room 380-380D at 3:15PM

May 30 Guram Bezhanishvili (New Mexico State University)
Closure Algebras
Time change: 2pm-3:15pm

June 13 Makoto Kanazawa (University of Tokyo)
Computing Interpolants in Implicational Logics

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

o Past Seminars and Lunches
o Logic at Stanford