[FOM] LC08 CALL FOR PAPERS AND PARTICIPATION

[Logic Colloquium 2008]

CALL FOR PAPERS AND PARTICIPATION

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)

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: Andres Caicedo, Tamas Matrai, Katherine Thomson, Todor Tsankov
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 Jäger (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 
Brünnler, Bettina Choffat, Gerhard Jäger (chair), 
Jürg Krähenbühl, Richard McKinley, Dieter Probst, 
Jürg Schmid, Daria Spescha, Thomas Strahm, Thomas Studer


IMPORTANT DATES:

Abstracts: March 28, 2008
Early registration: April 30, 2008
Accomodation (special rates): April 30, 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-10. 
The website of the workshop will be available soon:
http://wpt08.iam.unibe.ch