ATY Logo spc ATY Logo spc CCR Logo

Thirteenth International Conference on Computability, Complexity and Randomness (CCR 2018)

17 - 21 December, Santiago, Chile.

Foto de Santiago

Important Dates

Submission deadline: 25 April 2018,
Notification of authors: 31 August 2018,
Final version: 1 October 2018,
Conference: 17 - 21 December 2018.


This year, the conference will be partially oriented to explore connections between these topics and the theory of dynamical systems.

Conference Series

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

List of 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.

Programme Committee

Local Organizing Committee


For questions, in particular about scientific aspects of the meeting, please contact the chairs of the programme committee.

Inquiries about organizational matters such as registration or accommodation are best addressed to the local organizing committee.

CCR Steering Committee

Verónica Becher (Buenos Aires, Argentina), Laurent Bienvenu (Montpellier, 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).


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.

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.