Nous avons la grande tristesse de vous informer du décès de Jon Barwise, qui était l'un de nos conférenciers invités.

Cette page contient la liste des conférenciers par ordre alphabétique, la liste des conférences par thème, ainsi qu'un programme provisoire.

Liste des conférenciers :

P. Aczel (University of Manchester, GB)
L. Blum (ICSI and Carnegie-Mellon, USA)
E. Bouscaren (Université Paris 7, France)
S. Buss (University of California at San Diego, USA)
M. Davis (NYU and University of California at Berkeley, USA)
W. Ewald (University of Pennsylvania, USA)
I. Farah (York University, Canada)
L. Harrington (University of California at Berkeley, USA)
R. Heck (Harvard University, USA)
W. Hodges (Queen Mary and Westfield College, GB)
M. Hofmann (University of Edinburgh, GB)
G. Jaeger (Universität Bern, Suisse)
J.-L. Krivine (Université Paris 7, France)
Y. Lafont (Université d'Aix-Marseille II, France)
R. Laver (University of Colorado, USA)
J. Longley (University of Edinburgh, GB)
A. Macintyre (University of Edinburgh, GB)
D. Marker (University of Illinois at Chicago, USA)
D. Martin (University of California at Los Angeles, USA)
D. Osherson (Rice University, USA)
Ph. de Rouilhan (Université Paris 1, France)
P. Shor (AT&T Labs Research, Florham Park, USA)
T. Slaman (University of California at Berkeley, USA)
S. Smale (City University, Hong-Kong, Chine)
O. Spinas (Christian-Albrechts-Universität zu Kiel, Allemagne)
S. Starchenko (University of Notre-Dame, USA)
H. Woodin (University of California at Berkeley, USA)
M. Zeman (Universität Wien, Autriche)
B. Zil'ber (University of Oxford, GB)

Michael Hallett, qui avait été invité par le Comité de Programme, ne pourra malheureusement pas participer au Colloque.

Liste par thèmes. Titre des conférences et traductions des résumés en français (au fur et à mesure de leur disponibilité, en format ps ou dvi ; vous trouverez les résumés en anglais sur notre page anglaise).

Cours intensifs (ELSS 2000) :

L. Blum et S. Smale : Complexité et Calcul Réel. (ps, dvi)
E. Bouscaren : Geométrie et Théorie des Modèles. (ps, dvi)
J. Longley: Réalisabilité and Calculabilité d'ordre supérieur. (ps, dvi)
H. Woodin : L'Hypothèse du Continu. (ps, dvi)

Sciences cognitives (ELSS 2000) : D. Osherson : Les vues optimistes d'un psychologue sur la logique. (ps, dvi)

Calculabilité et complexité :

S. Buss : Définissabilité et complexité en arithmétique bornée.
L. Harrington : Automorphismes du treillis des ensembles récursivement énumérables. (ps, dvi)
P. Shor : Calculs quantiques. (ps, dvi)
T. Slaman : Aspects du jump de Turing. (ps, dvi)

Histoire de la logique au vingtième siècle (ELSS 2000) :

M. Davis : La théorie de la computabilité au 20ème siècle. (ps, dvi)
W. Hodges : La théorie des modèles dans son premier siècle. (ps, dvi)
D. Martin : La théorie des ensembles au vingtième siècle. (ps, dvi)

Théorie des modèles :

A. Macintyre : Théorie des modèles des Frobenius sur les vecteurs de Witt. (ps, dvi)
D. Marker : Equations différentielles et séries logarithmico-exponentielles. (ps, dvi)
S. Starchenko : Sur le principe de Zil'ber pour les structures définissables dans un modèle O-minimal. (ps, dvi)
B. Zil'ber : Structures analytiques et pseudo-analytiques. (ps, dvi)

Symposium de Philosophie (ELSS 2000) : Les fondements des mathématiques dans les années 1900.

W. Ewald : La portée philosophique des problèmes de Hilbert. (ps, dvi)
R. Heck : Les contributions de Frege aux études fondationnelles. (ps, dvi)
Ph. de Rouilhan : Les logiques de Russell. (ps, dvi)
Modérateur : Ch. Parsons.

Théorie de la démonstration et fondements logiques de l'informatique :

P. Aczel : Est-il possible de comprendre les mathématiques classiques de ZF d'un point de vue constructif? (ps, dvi)
M. Hofmann : Sur le problème de la décision pour le lambda-calcul typé avec des coproduits. (ps, dvi)
G. Jaeger : Propriétés de Mahlo métaprédicative et explicite ; une perspective de la théorie de la démonstration. (ps, dvi)
J.-L. Krivine : Réalisabilité et forcing généralisé en théorie des ensembles. (ps, dvi)
Y. Lafont : Théorie de la démonstration et informatique : de l'ingénierie typographique à la géometrie. (ps, dvi)

Théorie des ensembles :

I. Farah : Relèvements continus. (ps, dvi)
R. Laver : Résultats et problèmes sur les grands cardinaux. (ps, dvi)
O. Spinas : Comportement canonique des fonctions boréliennes sur un plan polonais. (ps, dvi)
M. Zeman : Principes combinatoires dans les modèles intérieurs. (ps, dvi)

Mise à jour le 19 juillet 2000