Main Awards Registration Accommodation Social Program Map of Helsinki
Conference Timetable Contributed Papers Committees Mailing List Sponsors ASL

Presentations given in Logic Colloquium 2003


Plenary Speakers

Special Sessions

Model Theory

Set Theory

Recursion Theory and Arithmetic

Proof Theory and Non-classical Logic

University of Helsinki Dept. of Mathematics Helsinki City Tourist Office