Logic Colloquium 2009Sofia, Bulgaria, July 31 – August 5 The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Bern (2008) and Wrocław (2007).
The Association for Symbolic Logic is the largest in the world international organization supporting research and critical studies in logic. It was founded in 1936 at a time when great advances in logic were beginning to be made.
Contact information LC2009
Alexandra Soskova
Dept. of Math Logic
Faculty of Mathematics and Informatics
Sofia University
boul. James Bourchier 5
1164, Sofia
Bulgaria
Phone: +359 02 8161 524
Fax: +359 02 8687180
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
   
Program (BY OFFICIAL WEBSITE: 28/01/09: http://lc2009.fmi.uni-sofia.bg/program.html)
Gödel lecture:
* Richard A. Shore (Cornell University)
Tutorials:
* Ulrich Kohlenbach (Technische Universität Darmstadt)
* Andre Nies (University of Auckland)
* Ralf Schindler (Universität Münster)
Plenary talks:
* Elisabeth Bouscaren (Université Paris-Sud 11)
* S. Barry Cooper (University of Leeds),
* Thierry Coquand (University of Gothenburg),
* Ilijas Farah (York University)
* Valentina S. Harizanov (George Washington University)
* Stephan Kreutzer (Oxford University)
* David W. Kueker (University of Maryland)
* Benjamin Miller (University of California Los Angeles)
* Itay Neeman (University of California Los Angeles)
* Dana S. Scott (Carnegie Mellon University)
* Katrin Tent (University of Munster)
* Jouko Väänänen (University of Amsterdam)
Special sessions:
* Logic and Category Theory (Co-chairs: S. Abramsky, S. Shapiro)
* Computability Theory (Co-chairs: K. Ambos-Spies, I. Soskov)
* Model Theory, New Directions in Classification Theory (Co-chairs: E. Hrushovski, M. Otero)
* Philosophical Logic (Co-chairs: D. Vakarelov, M. Zakharyashev)
* Set Theory (Co-chairs: M. Goldstern, H. Woodin)
Program Committee
The program committee for the Logic Colloquium 2009 consists of:
* Samson Abramsky (Oxford)
* Klaus Ambos-Spies (Heidelberg)
* Joan Bagaria (Univ. of Barcelona, Chair)
* Fernando Ferreira (Lisbon)
* Martin Goldstern (Vienna)
* Erich Graedel (Aachen)
* Ehud Hrushovski (Israel)
* Tapani Hyttinen (Helsinki)
* Yiannis Moschovakis (UCLA)
* Margarita Otero (Madrid)
* Stewart Shapiro (Ohio State)
* Ivan Soskov (Sofia)
* W. Hugh Woodin (Berkeley)
Organizing Committee
The local organizing committee for the Logic Colloquium 2009 consists of:
* Alexandra Soskova (Chair)
* Dimitar Dobrev
* Dimitar Guelev
* Lyubomir Ivanov
* Stela Nikolova
* Solomon Passy
* Dimitar Shiyachki
* Mariya Soskova
* Mitko Yanchev
* Anton Zinoviev
|
