*********************************************************************
First Announcement
Logic Colloquium 2009
Sofia 31 July - 5 August
Deadline for submissions: 15 April, 2009
http://lc2009.fmi.uni-sofia.bg
*********************************************************************
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),
Wrocław (2007), Nijemegen (2006).
Gödel lecture:
 Richard A. Shore (Cornell University)
Tutorials:



Ulrich Kohlenbach (Technische Universität Darmstadt) (Proof Theory)
"Proof Interpretations and Their Use in Mathematics"
Andre Nies (University of Auckland) (Computability Theory)
“Applying randomness to computability''
Ralf Schindler (Universität Münster) (Set Theory)
"The evolution of inner models."
Plenary talks:
Logic and Comp. Sci:
 Thierry Coquand (University of Gothenburg),
 Stephan Kreutzer (Oxford University)
 Dana S. Scott (Carnegie Mellon University)
 Jouko Väänänen (University of Amsterdam)
Model theory:
 Elisabeth Bouscaren (Université Paris-Sud 11)
 David W. Kueker (University of Maryland)
 Katrin Tent (University of Munster)
Computability theory:
 S. Barry Cooper (University of Leeds),
 Valentina S. Harizanov (George Washington University)
Set theory:
 Ilijas Farah (York University)


Itay Neeman (University of California Los Angeles)
Benjamin Miller (University of California Los Angeles)
Special sessions (accepted):
Logic and Category Theory (Co-chairs: S. Abramsky, S. Shapiro):
Steve Awodey, Richard Blute, Andrej Bauer.
Computability Theory (Co-chairs: K. Ambos-Spies, I.Soskov): Serikzhan Badaev,
George Barmpalias, Denis Hirschfeldt, Andrei Morozov.
Model Theory, New Directions in Classification Theory (Co-chairs: E.
Hrushovski, M.Otero): Yevgeniy Vasilyev, Antongiulio Fornasiero, Hans Adler, Alf
Onshuus.
Philosophical Logic (Co-chairs: D. Vakarelov, M. Zakharyashev): Philippe
Balbiani, Roman Kontchakov, Istvan Nemeti, Frank Wolter .
Set Theory (M. Goldstern, W. H. Woodin): Dima Sinapova, Grigor Sargysan,
Martin Zeman
The dates around the submission process are as follows:
Submission Deadline:
Notification of Authors:
15 April 2009
31 April 2009
Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE













Samson Abramsky (Oxford University)
Klaus Ambos-Spies (Ruprecht-Karls-Universität Heidelberg)
Chair: Joan Bagaria (Universitat de Barcelona)
Fernando Ferreira (Universidade de Lisboa)
Martin Goldstern (Vienna University of Technology)
Erich Graedel (RWTH Aachen University)
Ehud Hrushovski (The Hebrew University of Jerusalem)
Tapani Hyttinen (University of Helsinki)
Yiannis Moschovakis (University of California, Los Angeles)
Margarita Otero (Universidad Autónoma de Madrid)
Stewart Shapiro (Ohio State University)
Ivan Soskov (Sofia University)
W. Hugh Woodin (University of California, Berkeley)
The Programme Committee cordially invites all researchers to submit contributed
papers that have logic research content that lies within the scope of the interests of the
ASL. You could use the EasyChair conference system for submission of abstracts for
contributed talks. Upload your abstract as a PDF file (only the abstract; not a full
paper). It is also possible but not preferable to send your abstract either as a hard copy
or as an e-mail attachment directly to lc2009@fmi.uni-sofia.bg. The abstracts of the
contributed talks will be published in The Bulletin of Symbolic Logic if at least one
of the authors is a member of ASL.
Abstracts of contributed talks are limited to 300 words (about three quarters of a page
in the standard, 11pt LaTeX article style), including the title and other heading
material and the references. Authors typesetting abstracts are encouraged to use the
ASL abstract template, ASLabstracttemplate.tex, that may be found at
http://aslonline.org/abstractresources.html. Typesetting is done immediately after the
submission deadline, so abstracts should be in final form when they are submitted. A
typeset booklet containing the abstracts will be distributed to participants at the
meeting.
The ASL will make available modest travel awards to graduate students in logic and
to recent Ph.D.‘s so that they may attend the 2009 ASL European Summer Meeting in
Sofia, Bulgaria.
In addition to funds provided by the ASL, the program of travel grants to the
European Summer Meeting is supported by a grant from the US National Science
Foundation; NSF funds may be awarded only to students at USA universities and to
citizens and permanent residents of the USA.
For the 2009 ASL European Summer Meeting, applications and recommendations
should be received before the deadline of March 30, 2009, by e-mail on
lc2009@fmi.uni-sofia.bg
or by regular mail on:
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
by the Organizing Committee:Alexandra Soskova (Chair), Dimitar Dobrev, Dimitar
Guelev, Lyubomir Ivanov, Stela Nikolova, Solomon Passy, Dimitar Shiyachki,
Mariya Soskova, Mitko Yanchev, Anton Zinoviev
----------------------------------------------------------------------------