We are very sad to inform you of the recent death of Jon Barwise, who was one of the invited speakers.

This page contains the list of invited speakers in alphabetical order, a list by themes of the lectures, and a tentative schedule.

List of invited speakers

Peter Aczel (University of Manchester, UK)
Lenore Blum (ICSI and Carnegie-Mellon, USA)
Elisabeth Bouscaren (Université Paris 7, France)
Sam Buss (University of California at San Diego, USA)
Martin Davis (NYU and University of California at Berkeley, USA)
William Ewald (University of Pennsylvania, USA)
Ilijas Farah (York University, Canada)
Leo Harrington (University of California at Berkeley, USA)
Richard Heck (Harvard University, USA)
Wilfrid Hodges (Queen Mary and Westfield College, UK)
Martin Hofmann (University of Edinburgh, UK)
Gerhard Jaeger (Universität Bern, Switzerland)
Jean-Louis Krivine (Université Paris 7, France)
Yves Lafont (Université d'Aix-Marseille II, France)
Richard Laver (University of Colorado, USA)
John Longley (University of Edinburgh, UK)
Angus Macintyre (University of Edinburgh, UK)
Dave Marker (University of Illinois at Chicago, USA)
Donald Martin (University of California at Los Angeles, USA)
Daniel Osherson (Rice University, USA)
Philippe de Rouilhan (Université Paris 1, France)
Peter Shor (AT&T Labs Research, Florham Park, USA)
Theodore Slaman (University of California at Berkeley, USA)
Steve Smale (City University, Hong-Kong, China)
Otmar Spinas (Christian-Albrechts-Universität zu Kiel, Germany)
Sergei Starchenko (University of Notre-Dame, USA)
Hugh Woodin (University of California at Berkeley, USA)
Martin Zeman (Universität Wien, Austria)
Boris Zil'ber (University of Oxford, UK)

Michael Hallett, who was one of the invited speakers, is unfortunately unable to participate to the conference.

List by themes. Title of the lectures and abstracts (as they become available. In ps or dvi format).

Tutorials (ELSS 2000):

L. Blum and S. Smale: Complexity and real computation. (ps, dvi)
E. Bouscaren: Model theory and Geometry. (ps, dvi)
J. Longley: Realizability and higher-type computability. (ps, dvi)
H. Woodin: The continuum hypothesis. (ps, dvi)

Cognitive sciences (ELSS 2000):

D. Osherson: A Psychologist Looks Hopefully to Logic. (ps, dvi)

Computability and complexity:

S. Buss: Definability and complexity in bounded arithmetic.
L. Harrington: Automorphisms of the computably enumerable sets. (ps, dvi)
P. Shor: Quantum Computing. (ps, dvi)
T. Slaman: Aspects of the Turing Jump.ps, dvi) >

History of logic of the 20th century (ELSS 2000):

M. Davis: Computability theory in the twentieth century. (ps, dvi)
W. Hodges: Model theory in its first century. (ps, dvi)
D. Martin: Set theory in the 20th century. (ps, dvi)

Model theory:

A. Macintyre: Model Theory of Frobenius on Witt vectors. (ps, dvi)
D. Marker: Differential Equations and Logarithmic-Exponential series. (ps, dvi)
S. Starchenko: On the Zil'ber principle for structures definable in o-minimal models. (ps, dvi)
B. Zil'ber: Analytic and pseudo-analytic structures. (ps, dvi)

Philosophy Symposium (ELSS 2000): The foundations of mathematics around 1900. Speakers:

W. Ewald: The Philosophical Significance of Hilbert's Problems. (ps, dvi)
R. Heck: Frege's Contributions to Foundational Studies. (ps, dvi)
Ph. de Rouilhan: Russell's Logics. (ps, dvi)
Moderator: Ch. Parsons.

Proof Theory and logical foundations of computer science:

P. Aczel: Can ZF classical mathematics be understood from a constructive standpoint? (ps, dvi)
M. Hofmann: On the decision problem for typed lambda calculus with coproducts. (ps, dvi)
G. Jaeger: Metapredicative and explicit Mahlo: a proof-theoretic perspective. (ps, dvi)
J.-L. Krivine: Realizability and generalized forcing in set theory. (ps, dvi)
Y. Lafont: Proof theory and computer science: from typographical engineering towards geometry. (ps, dvi)

Set theory:

I. Farah: Continuous liftings. (ps, dvi)
R. Laver: Large cardinal results and problems (ps, dvi)
O. Spinas: Canonical behaviour of Borel functions on Polish planes. (ps, dvi)
M. Zeman: Combinatorial Principles in Inner models. (ps, dvi)

Updated July 19, 2000.