CCR LOGO ATY Logo spc ATY Logo spc CCR Logo NSF logo

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

17 - 21 December, Santiago, Chile.

Foto de Santiago

Social events

The information about the social events of this conference can be found here

Local Information

Some local information, including transportation options from the airport and some restaurants near the University can be found in this page.

Accepted contributions and tentative programme.

The list of accepted papers can be seen here, and a tentative programme here. A booklet with the talks descriptions can be found here.

Important Dates

Submission deadline has been extended !


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

Topics

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

Invited Speakers

Invited Tutorials

Location


The conference will be hosted by the Departamento de Matemáticas at Universidad Andrés Bello, which is located in the República neighborhood (subway station "República") in Santiago de Chile. The conference will take place in the Building R5 of the University, which is located in Avenida Republica 399 (in the corner with Gorbea street). The main conference room will be R5-203, and we will have a nearby room for work.

The Hotel Conde Ansúrez is conveniently located in Av. República 25. We have arranged with them the following special rates (BT) for the conference participants: single room $ 37000; double room $ 45000; triple room $ 53000. To book one please send them an email directly to reservas@ansurez.cl using the reservation code CCR2018-UNAB. Please also send a copy of your booking email to ccr2018@mat-unab.cl . Alternatively, Barrio Lastarria (north of Universidad Católica subway station) and Providencia (around Pedro de Valdivia subway station) are very nice, easy to reach neighborhoods, with an excellent offer for accomodations.


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 in PDF format of typically about 1 or 2 pages via the following web page:

http://www.easychair.org/conferences/?conf=ccr2018.

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.

Registration


If you are planning to attend the conference, please fill out the following registration form (or click here ) as soon as possible.


Proceedings

No proceedings will be published before the conference. A booklet with abstracts will be made available at the conference.

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

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.