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