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

**Past Seminars and Lunches****Logic at Stanford**