Lecturers
The program committee has undertaken the task of selecting lecturers not only for their
achievements in research, but also for their excellence in teaching and their ability
to communicate a message to an interdisciplinary audience.
We are pleased to inform you that the program committee has chosen the following
distinguished faculty to be among the lecturers for the first NASSLLI. We
wish to extend you an invitation to join us here at Stanford between June 24 and June 30,
2002, so that you might experience cutting edge research carried out by some of
the finest teachers in North America and Europe.
Each lecturer will give a set of five one hour lectures on a topic suitable
for a broad audience interested in the interface between logic, language, and
computation. The program committee has worked hard to minimize overlap while still
maintaining the thematic integrity of the program. As it is customary with schools
of this nature, the classes will run from foundational and introductory to advanced.
-
Martin Abadi (CS, UCSC) [Computer Security]
-
Samson Abramsky (CS, Oxford) [Interactive Models of Logic and Computation]
-
Sergei Artemov (CS, CUNY New York) [Proof Polynomials]
-
Ash Asudeh,
Richard Crouch, and
Mary Dalrymple (Stanford and Palo Alto Research Center) [The Syntax-Semantics Interface: Theory and Implementation]
-
Patrick Blackburn (INRIA Lorraine) [Lectures on Hybrid Logic]
-
Craig Boutilier (CS, University of Toronto) [Logical Representational and Computational Methods for
Markov Decision Processes]
-
Joan Bresnan (Linguistics, Stanford) [Optimality Theoretic Syntax]
-
Paul Dekker (Philosophy, Amsterdam) [Dynamics, Semantics, Pragmatics]
-
R.E. Jennings (Philosophy, Simon Fraser University) [Logicalization]
-
Ed Keenan and
Edward Stabler (Linguistics, UCLA) [Invariants of Natural Language]
-
Phokion Kolaitis (CS, UCSC) [Constraint Satisfaction, Complexity, and Logic]
-
Larry Moss (Math, Indiana) [Dynamic Epistemic Logic]
-
Marc Pauly and Mike Wooldridge (Liverpool) [Modal Logic and Agents]
-
Fernando C.N. Pereira (Computer and Information Science, UPenn) [Machine Learning in Natural Language Processing]
-
Frank Veltman (Logic & Cognitive Science, Amsterdam) [A Dynamic Approach to Mood and Modality]
- Dag Westerstahl (Philosophy, Stockholm) and Stanley Peters (Linguistics, Stanford) [Generalized Quantifiers]