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.

.
Credit

Important dates

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

Topics

Submissions

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

Registration is now open!

To register, please fill in your details here

Programme

To be announced.

Confirmed Invited Speakers

Location

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

Proceedings

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.

Funding

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

Contacts

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)