Cette page contient :

• Le programme de ELSS 2000
• La liste des Contributions libres de ELSS 2000 (présentées lors de la session spéciale du 27 juillet 2000)
• La liste des participants à ELSS 2000
• Le Questionnaire des Participants

Cours intensifs :

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)

Sciences Cognitives :

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

Histoire de la logique au vingtième siècle :

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)

Symposium de Philosophie : Les fondements des mathématiques dans les années 1900. Orateurs :

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)
Modérateur : Ch. Parsons.

Liste des Contributions libres

Calculabilité et Complexité

Amphithéâtre Lefebvre
Chair : R. Kaye

12:00. Mariagnese Giusto : Free Sets and Reverse Mathematics  (ps, dvi)
12:20. Morteza Moniri : Some Results on Intuitionistic Pi_1-Induction  (ps, dvi)
12:40. Vladimir Sotirov : Leibniz Style Arithmetization of Monadic Predicate Calculus with Equality  (ps, dvi)

Philosophie

Salle Cavaillès
Chair : S. Berestovoy

12:00. Serban Leoca : What is it a logical theory of truth?  (ps, dvi)
12:20. José Martínez Fernández : A Strategy for the Solution to the Gupta-Belnap Fixed-Point Problem  (ps, dvi)

Applications de la logique aux Sciences Cognitives

Salle Cavaillès
Chair : S. Berestovoy

12:40. Paula Bucholc : Logical Competence Versus Logical Correctness  (ps, dvi)

Théorie des Modèles

Amphithéâtre Guizot
Chair: D. Haskell

12:00. Ingo Kraus : Quantifierfree Stability in Generic Structures  (ps, dvi)
12:20. Jon Nedelmann : The Spectrum of a Simple Modular Theory  (ps, dvi)
12:40. Ziv Shami : Groups Interpretable in Simple Theories  (ps, dvi)

Amphithéâtre Descartes
Chair: L. Bélair

12:00. Alex Wilkie : Liouville Functions  (ps, dvi)
12:20. Armin Rigo : Complétions de Cauchy de structures uniformes du premier ordre  (ps, dvi)
12:40. Gábor Sági : Ultraproducts, Higher Order Logics and Complexity Theory  (ps, dvi)

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

Amphithéâtre Turgot
Chair : R. Lassaigne

12:00. L. Crosilla : Constructive Set Theories with Restricted Induction  (ps, dvi)
12:20. Giovanni Curi : How a Point-free Constructive Version of the Uryshon Metrization Theorem Can Turn a Collection Into a Set  (ps, dvi)
12:40. Saeed Salehi : A Generalized Realizability for Constructive Arithmetics  (ps, dvi)

Théorie des Ensembles

Amphithéâtre Richelieu
Chair : J. Väänänen

12:00. David Asperó : The Bounded Martin's Maximum and the Size of the Continuum  (ps, dvi)
12:20. Jordi López Abad : Almost-Ramsey Sets in c_0  (ps, dvi)
12:40. Benedikt Löwe : A measure-Theoretic Wagde Hierarchy  (ps, dvi)

Autres

Amphithéâtre Louis Liard
Chair : K. McAloon

12:00. Petr Hájek : Properties of Monadic Fuzzy Predicate Logics  (ps, dvi)
12:20. Zuzana Honzíková : A Contribution on t-norm Based Logics  (ps, dvi)
12:40. Jacek Malinowski : Quantum Logical Consequence  (ps, dvi)

Liste des participants

Aspero, David Baltag, Alexandru Barker, Russell Baro, Sylvain Blum, Leonore Bouscaren, Elisabeth Brage, Jens Brattka, Vasco Bucholc, Paula Capretta, Venanzio Cluckers, Raf Crampin, Cecily Crosilla, M. Laura Curi, Giovanni Davis, Martin de Rouilhan, Philippe Dinu, Liviu Duby, Grégory Ewald, William Foustoucos, Eugenie Frécon, Olivier Gibbons, Ben Giorgi, Matthew Giusto, Mariagnese Hajek, Petr Hamrin, Martin

Heck, Richard Hernest, Dan Hodges, Wilfrid Honzikova, Zuzana Jaligot, Eric Koenig, Bernhard Kowalski, Piotr Kraus, Ingo Lacas, Samuel Leoca, Serban Libert, Thierry Lindroth, Olof Löwe, Benedikt Longley, John Lopez- Abad, Jordi Majcher-Iwanow, Barbara Malinowski, Jacek Mao, Yi Marczewski, Jakub Martin, Donald Martínez-Fernández, José Mellor, Timothy Michelbrink, Markus Moniri, Morteza Nedelmann, Jon Neumann, Stefan

Oitavem, Isabel Osherson, Daniel Parsons, Charles Pauna, Matti Pinto, Luis Portier, Natacha Raesch, Thoralf Ralph, Alexandra Rigo, Armin Sagi, Gabor Salehi, Saeed Schatz, Torsten Schmid, Ute Shami, Ziv Sjögren, Nils Smale, Stephen Sotirov, Vladimir Strahm, Thomas Thiel, Nikolaus Wencel, Roman Wilkie, Alex Woodin, Hugh Xirotiri, Olga Yaffe, Yoav Zdanowski, Konrad Zoccari, Emanuele

Questionnaire du Participant

La Communauté Européenne demande aux participants de ELSS 2000 de bien vouloir remplir un questionnaire et de le leur renvoyer. Le pourcentage de questionnaires reçus leur permet de juger si l'École d'été était un succès ou non. S'ils reçoivent peu de questionnaires pour ELSS 2000, cela risque d'influencer négativement leur attitude envers des demandes futures de fonds pour subventionner les Écoles d'été faisant parties des Logic Colloquium. Il est donc dans votre intérêt et dans celui de vos collègues plus jeunes, de montrer à la Communauté Européenne qu'il est important qu'elle donne de l'argent aux Écoles d'été. Vous pouvez faire cela en remplissant le questionnaire ci-dessous, qui est malheureusement en anglais, et en le leur renvoyant une fois rempli.

IMPORTANT: Avant de remplir ce questionnaire, veuillez vous assurer que votre nom apparaît bien dans la liste des participants donnée ci-dessus. À cause de contraintes sur le nombre de participants, il nous a en effet été impossible d'inscrire à ELSS 2000 toutes les personnes qui l'avaient demandé.

Le Questionnaire est disponible sous 4 formes : Excel (.xls), Word (.doc), PDF (.pdf) and PS (.ps). Voici comment faire :

Format EXCEL. Veuillez télécharger le fichier, remplissez le, puis envoyez le par courrier électronique à improving@cec.eu.int, avec HLSC Questionnaire dans le champ "Subject".

Format WORD. Veuillez télécharger le fichier, remplissez le, puis envoyez le par courrier électronique à improving@cec.eu.int, avec HLSC Questionnaire dans le champ "Subject".
Vous pouvez aussi imprimer le fichier, le remplir à la main, et l'envoyer par courrier à l'adresse postale ci-dessous.

Format PDF ou PS. Veuillez télécharger le fichier, l'imprimer, le remplir, et l'envoyer à l'adresse postale suivante :

European Commission
DG-RTD-F1
Human Potential Programme
High-Level Scientific Conferences
SDME 3/18
Rue de la Loi 200
B-1049 Brussels
Belgium.

(Si vous avez un logiciel vous permettant d'écrire dans un fichier pdf, vous pouvez aussi remplir le questionnaire de cette façon, puis l'envoyer par courrier électronique à improving@cec.eu.int, avec HLSC Questionnaire dans le champ "Subject".)

Mise à jour le 2 février 2001