Proceedings of the Conference

Full versions of selected papers, presented at the Conference will be published in special issues of journals. The editors of these Proceedings will select and invite speakers at the Logic Colloquium to submit articles, based on their presentations during the conference. The submissions will be peer-reviewed according to the usual standards of the respective journals.

There will be a special issue of the Annals of Pure and Applied Logic provisionally titled “Proceedings of the Logic Colloquium 2009” -— drawing on the tutorials, plenary talks, special sessions and contributed talks in LC2009.

There will be also a special issue of the Journal of Logic and Computation [details] provisionally titled “Computability at the Logic Colloquium 2009”—drawing on the talks in LC2009 and its special sessions, and the associated “Workshop on Computability Theory”.

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.