The topics and speakers of the tutorials are:

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.

Back to Main Page