| Main | Awards | Registration | Accommodation | Social Program | Contributed Papers | Committees | Mailing List | Sponsors | ASL |
Model Theory
Set Theory |
Recursion Theory and Arithmetic
Proof Theory and Non-classical Logic |
A partial 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 |
