3-8 July 2008
Bern, Switzerland
LOGIC COLLOQUIUM 2008 Bern, Switzerland 3-8 July 2008 http://www.lc08.iam.unibe.ch/ Tutorials Michael Rathjen (University of Leeds) Stevo Todorcevic (University of Toronto) Anand Pillay (University of Leeds) 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) Program committee Alessandro Berarducci (Pisa) Jacques Duparc (Lausanne) Mirna Dzamonja (East Anglia) Ali Enayat (Washington DC) Gerhard Jger (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) Special sessions Model theory =09=09Logic and computer science Martin Hils =09=09Mariangola Dezani Gareth Jones =09=09Kazushige Terui Moshe Kamensky =09=09Yde Venema Krzysztof Krupinski =09Ting Zhang Set theory =09=09Computability and arithmetic Andres Caicedo =09=09Barbara F. Csima Tamas Matrai =09=09Antonin Kucera Katherine Thomson =09Shahram Mohsenipour Todor Tsankov =09=09Neil Thapen