Tutorial 1: Introduction to the Model Theory of
Fields (abstract)
Speaker: A.
Macintyre, University of Edinburgh, United Kingdom.
Tutorial 2: Descriptive Set Theory and Large Cardinals
Speaker: D.A.
Martin, University of California, Los Angeles, USA.
Tutorial 3: Automata-theoretic approach to design
verification
Speaker: M.Y.
Vardi, Rice University, USA.