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

Logic Colloquium 2003

Helsinki, Finland, August 14-20, 2003

Group photo taken at the conference is now available here.

Transparencies used by speakers are available.

Speaker list

Tutorials

Plenary Speakers

Special Sessions

Model Theory

Set Theory

Recursion Theory and Arithmetic

Proof Theory and Non-classical Logic

A list of titles and abstracts is available in PDF, DVI, PostScript and HTML.

The conference poster is available for download in JPG and PDF.

University of Helsinki Dept. of Mathematics Helsinki City Tourist Office

lc2003@helsinki.fi