[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [LC-09] LOGIC COLLOQUIUM 2009 - First Call for Papers

(Apologies if you receive multiple copies of this announcement)

********************************************************************* First Announcement Logic Colloquium 2009 Sofia 31 July - 5 August

Deadline for submissions: 15 April, 2009


The Logic Colloquium is the annual European conference on logic,
organised under the auspices of the Association for Symbolic Logic
(ASL). The main events in this year’s conference are as follows:

Gödel lecture:
•    Richard A. Shore (Cornell University)

•    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)

Contributed papers will be selected from submissions received by the

Samson Abramsky, Klaus Ambos-Spies, Joan Bagaria (Chair), Fernando
Ferreira, Martin Goldstern, Erich Graedel, Ehud Hrushovski, Tapani
Hyttinen,  Yiannis Moschovakis, Margarita Otero, Stewart Shapiro,
Ivan Soskov and  W. Hugh Woodin

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.

Submission Deadline:         15 April 2009
Notification of Authors:     31 April 2009

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. The
rules for abstract submission can be found at the conference webpage


The ASL will make available modest travel awards to graduate students in
logic and to recent PhD‘s to attend the 2009 ASL European Summer Meeting
in Sofia, Bulgaria. The European Summer Meeting is also 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.

Applications and recommendations must be received before the deadline of
March 30, 2009, by e-mail at lc2009@xxxxxxxxxxxxxxxx or by regular mail at:

Alexandra Soskova
Dept. of Math Logic
Faculty of Mathematics and Informatics
Sofia University
boul. James Bourchier 5
1164, Sofia
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