3-8 July 2008
Bern, Switzerland
The local organizing committee of LC08 would welcome your circulating this announcement. CALL FOR PARTICIPATION *** Extended deadline for early registration: May 31, 2008 *** *** Extended deadline for accomodation (special rates): May 31, 2008 *** LOGIC COLLOQUIUM 2008 Bern, Switzerland 3-8 July 2008 http://www.lc08.iam.unibe.ch/ Tutorials: Anand Pillay (University of Leeds) Michael Rathjen (University of Leeds) Stevo Todorcevic (University of Toronto) Plenary speakers: Miklos Ajtai (IBM Almaden Research Center) Akihiro Kanamori (Bosten University) Roman Kossak (City University of New York) Hannes Leitgeb (University of Bristol) Amador Martin-Pizarro (University of Lyon) Joseph S. Miller (University of Connecticut) Jaap van Oosten (University of Utrecht) Thomas Scanlon (University of California, Berkeley) Stephen G. Simpson (Pennsylvania State University) Lajos Soukup (Hungarian Academy of Sciences, Budapest) Thomas Strahm (University of Bern) Matteo Viale (University of Paris 7) Special sessions: Model theory: Martin Hils, Gareth Jones, Moshe Kamensky, Krzysztof Krupinski Logic and computer science: Mariangola Dezani, Kazushige Terui, Yde Venema, Ting Zhang Set theory: Tamas Matrai, Katherine Thomson, Todor Tsankov, N.N. Computability and arithmetic: Barbara F. Csima, Antonin Kucera, Shahram Mohsenipour, Neil Thapen Program committee: Alessandro Berarducci (Pisa) Jacques Duparc (Lausanne) Mirna Dzamonja (East Anglia) Ali Enayat (Washington DC) Gerhard Jaeger (Bern) Piotr Kowalski (Wroclaw) Jan Krajicek (Prague) Dave Marker (Chicago) Andre Nies (Auckland) Simon Thomas (Rutgers) William Tait (Chicago) Boban Velickovic (Paris) Albert Visser (Utrecht) Alex Wilkie (Manchester, chair) Local organizing committee: Luca Alberucci, Kai Bruennler, Bettina Choffat, Gerhard Jaeger (chair), Juerg Kraehenbuehl, Richard McKinley, Dieter Probst, Juerg Schmid, Daria Spescha, Thomas Strahm, Thomas Studer IMPORTANT DATES: Extended early registration: May 31, 2008 Accomodation (special rates): May 31, 2008 Immediately following the Logic Colloquium 08, there will be a workshop on recent trends in proof theory, taking place in Bern on July 9-11. The website of the workshop will be available soon: http://wpt08.iam.unibe.ch