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
Submission	Weather	Special Sessions	Sponsors