Publications

Pre-Conference Publications

Invited papers of plenary and special session speakers, together with the best contributed accepted papers will appear in our LNCS pre-conference proceedings:

Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011
Sofia, Bulgaria, June 27- July 2, 2011
Proceedings
Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova (Eds.): CiE 2011, LNCS 6735, 2011.
© Springer-Verlag Berlin Heidelberg 2011
LNCS 6735 is now available online. You can find information about it at http://www.springeronline.com/978-3-642-21874-3 or access the online version at http://www.springerlink.com/content/978-3-642-21874-3/

Other accepted contributed papers together with abstracts of informal presentations and the  abstarcts of the invited lectures and tutorials and  the special session talks will appear in our local pre-conference abstract booklet:

      CiE 2011: Models of Computation in Context
      Abstract and Handout Booklet
      St. Kliment Ohridski University Press

Post Conference Publications

For papers of the highest quality in the field of mathematical logic presented at CiE 2011, there will be a post-conference special issue of the journal 'Annals of Pure and Applied Logic' edited according to the high standards of this leading journal of mathematical logic.
More details about this special issue will be announced after the conference.