9-13 Jun 2014
Singapore, Singapore
Invitation to the Ninth International Conference on Computability, Complexity and Randomness (CCR 2014): 9-13 June 2014 The Ninth International Conference on Computability, Complexity and Randomness (CCR 2014) will be held at the Institute for Mathematical Sciences in Singapore as a part of the Algorithmic Randomness Programme, 2-30 June 2014. It will be in the tradition of the previous meetings in Cordoba (Argentina) 2004, Buenos Aires (Argentina) 2007, Nanjing (China) 2008, Luminy (France) 2009, Notre Dame (USA) 2010, Cape Town (South Africa) 2011, Cambridge (UK) 2012, Moscow (Russia) 2013 (the meetings in Cordoba, Buenos Aires and Luminy were called "Conference on Logic, Computability and Randomness"). Topics Algorithmic randomness, Computability theory, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. Programme and Organizing Committee Veronica Becher (Universidad de Buenos Aires) Rodney G. Downey (Victoria University of Wellington) Wolfgang Merkle (University of Heidelberg) Theodore A. Slaman (University of California Berkeley) Alexander Shen (CNRS, Montpellier) Frank Stephan (National University of Singapore), Chair Yue Yang (National University of Singapore) Liang Yu (Nanjing University) Conference Web Page http://www2.ims.nus.edu.sg/Programs/014algo/ Participation and Talks: Participants can register online by means of the link provided by the IMS on the page http://www2.ims.nus.edu.sg/Programs/014algo/register.php for the CCR 2014 and the Programme on Algorithmic Randomness or some parts of it. Those who wish to talk during the conference should inform the IMS in subsequent correpondence. The IMS and Programme Committee will review talk requests and oversee the conference programme. Please register before 15 March 2014. Contact Information (Please refer to CCR 2014 in correspondence) Institute for Mathematical Sciences National University of Singapore 3 Prince George's Park Singapore 118402 Republic of Singapore (65) 6516 1897 ims@nus.edu.sg Abstracts A booklet with abstracts will be made available at the conference. Funding The Institute for Mathematical Sciences has limited funding to support local costs of participants. Student members of the Association for Symbolic Logic (ASL) can apply for some funding to participate in CCR 2014.