Michael Benedikt, Lucent Technology/Bell Labs, Model Theory of Strings and Trees. (ASL)

Lenore Blum, Carnegie Mellon University, Computing over the Reals: Where Turing meets Newton. (AWM)

Tony F. Chan, University of California Los Angeles and Institute for Pure and Applied Mathematics, Variational PDE models and algorithms in image processing.

John D. Clemens, California Institute of Technology, Classifying Borel Automorphisms. (ASL)

Rodney G. Downey, Victoria University (New Zealand), Algorithmic Randomness, Computability, and Reals. (ASL)

Sergey Goncharov, Novosibirsk State University, Computable Numberings and Constructive Models. (ASL)

Martin Grohe, University of Freiburg, Learning in Finite Models. (ASL)