LC 2000 and ELSS 2000
Contributed Papers

The deadline for submission of abstracts of contributed talks was on April 18, and we do not accept any new contributions. The abstracts of talks accepted for presentation will appear in a volume handed out to the participants of the Colloquium. The abstracts of members of the ASL will also appear later in the BSL. A few sessions of contributed papers will be reserved for participants of ELSS 2000.

Here is a (provisional) list of contributions, listed by themes. At the end you will find the list of contributions presented by title. You can view the abstracts in format dvi or ps.

You can view the provisional schedule of the contributed talks by clicking here. (It has not yet been updated to reflect what really happened - our apologies). A (*) indicates that the participant presented his/her contributed talk in the special session of Contributed talks of ELSS 2000, on Thursday July 27.

Applications of Logic to Cognitive Sciences

Computability and Complexity

History of Logic of the 20th century

Model Theory


Proof Theory and Logical Foundation of Computer Science

Set Theory


Contributed papers presented by title

Home page Site map Registration Program
Grants Meals, Social events Housing Transportation
Organising Committee List of participants Photos ELSS 2000


Updated February 2, 2001.