Main | Awards | Registration | Accommodation | Social Program | Map of Helsinki |

Conference Timetable | Contributed Papers | Committees | Mailing List | Sponsors | ASL |

**Model theory**(Halls 5 and 6)**Recursion theory and arithmetic**(Hall 10)**Set theory**(Hall 13)**Proof theory, constructivism and philosophy of mathematics**(Hall 12)**Classical and non-classical logic**(Halls 1 and 6)

On Friday and Saturday, the Model theory section splits into two sessions. Each contributed talk has a 20-minute time slot. For more details, see the schedule.

As a default, every lecture room has a blackboard, one overhead projector and a data projector with a computer. The computers have internet connection, Windows 2000 operating system, Office 2000 and Acrobat Reader. You can also bring your laptop and attach it to the data projector.

Abstracts of contributed papers are now available.

University of Helsinki | Dept. of Mathematics | Helsinki City Tourist Office |