spc Infosys spc ASL spc University
							 Logo Google Logo

Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017)

3-7 July 2017, Mysore, India.


Important dates

Notification of authors: April 19, 2017.
Final version of abstract: May 1, 2017.
Conference: 3-7 July 2017.



Authors are invited to submit an abstract or extended abstract in PDF format via the submission page hosted by EasyChair.

After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.


Registration is now open!

To register, please fill in your details here


To be announced.

Confirmed Invited Speakers

Yue Yang, National University of Singapore.
Ludovic Patey, University of Paris VII, France.
Keita Yokoyama, Japan Institute of Science and Technology. "Caristi's fixed point theorem in reverse mathematics" [Abstract]
Joseph S. Miller, University of Wisconsin, Madison. "Characterizing the continuous degrees" [Abstract]
Valérie Berthé, University of Paris VII. "Ergodic Theory and Computability" [Abstract]
Manindra Agrawal, Indian Institute of Technology, Kanpur.
Benoit Monin
Johanna N. Y. Franklin, Hofstra University, New York, USA.


The conference is hosted at the Infosys Mysore campus in Mysore (Mysuru) , Karnataka State, India.

The nearest international airport is Bangalore (Bengaluru). Flights operate to Bangalore from many major international destinations in Europe and Asia. Mysore is about 180 kms. (115 miles) from Bangalore. You can travel to Mysore either by Airport Bus (4 hours, approximately 12 USD), or by prepaid taxi (4 hours, 5500 INR, approximately 80 USD).

Conference Series

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


There will be a special issue of Theory of computing systems (TOCS) that will contain full versions of selected abstracts presented at the conference. Submissions to the special issue will be refereed according to the usual standards of TOCS.


Infosys has agreed to provide a venue and accommodation for all the participants for free.

Google India has graciously provided funding to support travel. We anticipate limited additional travel funds to be available.

Further funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be submitted to the Association for Symbolic Logic not later than three months before the meeting, following these instructions.

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 (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).

Copyright Notice

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

Image of the Mysore Palace by Mohammed Mahdi Karim, released under GFDL 1.2)