This page contains:

- The programme of ELSS 2000
- The list of Contributed papers of ELSS 2000 (presented on July 27, 2000)
- The list of participants of ELSS 2000
- The Participant Questionnaire

**Tutorials**:

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 science**:

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

**History of logic of the 20th century:**

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)

**Philosophy Symposium: 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.

**Computability and Complexity**

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)

**Philosophy**

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)

**Application of logic to Cognitive Science**

Salle Cavaillès

Chair: S. Berestovoy

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

**Model Theory**

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)

**Proof Theory and Logical Foundations of Computer Science**

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)

**Set Theory**

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)

**Others**

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)

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 |

The EC asks the participants of ELSS 2000 to complete the Participant Questionnaire and return it to them. The rate of returns of the questionnaires is an indication on how successful the Summer School was. If only a small percentage of our participants return questionnaires, this might be detrimental to future applications to the EC for funding the Summer School of the Logic Colloquium of the coming years. It is therefore in your interest and in the interest of your younger colleagues, to show to the EC that ELSS 2000 was indeed worth funding. This can be done by filling the questionnaire and returning it to them.

**IMPORTANT**: Before filling the questionnaire,
please check that your name is indeed on the list of participants
given above. Because of size constraints, we were unable to
officially put down as participants all people who wanted to.

The Questionnaire is available in four formats: Excel (xls-file), Word (doc-file), PDF (pdf-file) and PS (ps-file). Here are the instructions:

Format EXCEL.
Please download the form and complete it. Then send it by
e-mail to
`improving@cec.eu.int`, with HLSC
Questionnaire in the mail "Subject".

Format WORD.
Please download the form and complete it. Then send it by
e-mail to
`improving@cec.eu.int`, with HLSC
Questionnaire in the mail "Subject".

You may also print out the completed form and send it by mail to
the postal address given below.

Format PDF or PS. Please retrieve the form, print it out, complete it, and return it (by mail) to

European CommissionPlease note: our Contract number is

DG-RTD-F1

Human Potential Programme

High-Level Scientific Conferences

SDME 3/18

Rue de la Loi 200

B-1049 Brussels

Belgium.

(If you have the software allowing you to write directly
on the pdf file, you may
also complete it that way, and then return it by e-mail to
`improving@cec.eu.int`, with HLSC
Questionnaire in the mail "Subject".)

Home Page | Site Map | Programme | Contributed papers |

List of participants of LC 2000 | Photographs | Organisation Committee |

*Updated February 2, 2001*