ATY Logo spc spc spc CCR Logo

Seventh International Conference on Computability, Complexity and Randomness (CCR 2012)

2-6 July 2012, Cambridge, Great Britain

Grantchester Meadows

Isaac Newton Institute

The conference will be held at the Isaac Newton Institute for Mathematical Sciences (INI) as a part of the INI programme Semantics and Syntax: A Legacy of Alan Turing.

For registration and further information see the internal conference homepage at the Isaac Newton Institute.

Conference Series

The conference, previously known as conference on Logic, Computability and Randomness, will be in the tradition of the previous meetings in


Confirmed Invited Speakers


Authors are invited to submit an abstract in PDF format of typically about 1 or 2 pages via the following web page:

No full papers will be required for this conference. After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.


No proceedings will be published before the conference. A booklet with abstracts will be made available at the conference. It is planned to publish a special issue of some journal that will contain full versions of selected abstracts presented at the conference. The special issue will be refereed according to the usual standards of the journal. Further information will be published here as soon as available.

Important Dates

Submission deadline: 25 February 2012,
Notification of authors: 30 March 2012,
Final version: 28 April 2012,
Conference: 2-6 July 2012.

Programme Committee

CCR Steering Committee

Verónica Becher (Buenos Aires, Argentina), Laurent Bienvenu (Paris, France), Rod Downey, chair (Wellington, New Zealand), Denis Hirschfeldt (Chicago, United States), Elvira Mayordomo (Zaragoza, Spain), Wolfgang Merkle (Heidelberg, Germany), Nikolai K. Vereshchagin (Moscow, Russia), Liang Yu (Nanjing, China).


The Isaac Newton Institute has limited funds for supporting participants. Applications for funding are particularly welcomed from early career researchers and those from under-represented groups. Funding may be available to support attendance, including from the Institute's Junior Membership scheme for eligible participants.

Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following these instructions.


For questions, in particular about scientific aspects of the meeting, please contact the chairs of the programme committee Elvira Mayordomo and Wolfgang Merkle .

Inquiries about organizational matters such as registration or accommodation are best addressed directly to the staff at the Isaac Newton Institute, for the corresponding contact data see the internal conference homepage at INI.

Copyright Notice

The layout of the webpage has been adapted from the style of the CCA conference series and is used by courtesy of Vasco Brattka.

The panoramic picture on top of this page was taken by Ian Stewart and is published under GNU license.