Home arrow Events arrow Anno 2009 arrow LOGIC COLLOQUIUM 09
Date Display
Tuesday, 02 June 2020
Main Menu
Home
Events
Project
Education research
Search
News Feed
WEB Link
Credits Link
Books
Downloads
Disclaimer
Administrator
Last News
Correlated Article
History papers
Mechanics
Optics
Thermodynamics
Electromagnetism
Quantum Physics
Relativity
Scientific Instruments
Mathematics
Chemistry
Logics
Epistemology
General Bibliography
Last twenty
LOGIC COLLOQUIUM 09 Print E-mail

Logic Colloquium 2009

Sofia, 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
 

 
< Prev   Next >