spc spc spc ASL spc University
							 Logo Google Logo spc

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

3-7 July 2017, Mysore, India.

.
Credit

Topics

Schedule

(Please scroll to the week July 2-July 8)

Ical

Registration

Registration is now open!

To register, please fill in your details here

Information for Visa

You need the following documents.

Confirmed Invited Speakers

Yue Yang, National University of Singapore. "Applications of Non-standard models in Reverse Mathematics" [Abstract]
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. " Lowness and metric spaces " [Abstract]
André Nies, University of Auckland, New Zealand. "Randomness for infinite sequences of quantum bits" [Abstract]
Marius Zimand, Towson University, Maryland, USA. "A Kolmogorov Complexity Version of the Slepian-Wolf Theorem" [Abstract]

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

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.

Important dates

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

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. Additional funding has also been received from the National Board of Higher Mathematics, Department of Atomic Energy, Government of India.

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)