Computability in Europe

Special Issues

CiE 2012 in Cambridge

There will be two special issues arising from the 2012 Turing Centenary Conference CiE 2012: How the World Computes, held in Cambridge in June 2012. Submission is by invitation only.

• Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe: Special Issue of the journal Annals of Pure and Applied Logic.
  More Details.
• Arnold Beckmann, Anuj Dawar: Special Issue of the journal Logical Methods in Computer Science.
  More Details.

Submissions arising from CiE 2012 are welcome at Computability. The Journal of the Association CiE.

The CiE post-conference publications follow a policy to avoid double publication. Papers submitted to the post-conference publications may not be identical to any paper published in a preproceedings volume and will be refereed by one or more referees up to journal standards.

In particular, in order to get accepted, a paper must contain unpublished research content: if the post-conference publication builds on a pre-publication published in the LNCS volume, it has to go significantly beyond that pre-conference publication in the LNCS volume. In such a case referees will be provided with the LNCS version of the paper, and will be asked to discuss the differences between this paper and the submitted paper in your report. If the paper fails to go beyond the published preproceedings paper, it cannot be accepted for the journal publication ('going beyond' can mean for instance that the LNCS paper does not contain proofs, but the journal version does).

The journal publications will follow a tight schedule in order to enable timely publication.

End of August 2012	Invitation of potential authors
November 1, 2012	Deadline for submission of papers (in PDF format)