Logic Colloquium 2008

ASL European Summer Meeting
Bern, Switzerland, July 3-8

Venue	Program	Uploading Slides	Workshop on Proof Theory
How to reach Bern	Pictures	Program committee	Organizing committee
City of Bern	Social Dinner	Tutorial Speakers	Contact
Registration	Excursions	Plenary Speakers	Accommodation
Submission	Weather	Special Sessions	Sponsors

News

Updated list of budget accommodation available

Extended deadline: special rates for hotels apply till July, 1

Uploading Slides: slides for the talks can now be uploaded here