Algorithmic Randomness
(2 - 30 June 2014)
Conference on Computability, Complexity
and Randomness CCR 2014 (9 - 13 June 2014)

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

Organizing Committee

 

Chair

• Frank Stephan (National University of Singapore)

Members

• Verónica Becher (Universidad de Buenos Aires)
• Rodney G. Downey (Victoria University of Wellington)
• Wolfgang Merkle (University of Heidelberg)
• Theodore A. Slaman (University of California at Berkeley)
• Alexander Shen (CNRS, Montpellier)
• Yue Yang (National University of Singapore)
• Liang Yu (Nanjing University)

 

Visitors and Participants

 

• Overseas visitors
• Local visitors
• Graduate students
• Registered local participants

 

Overview

 

Randomness is a mathematical concept that spans over a broad class of mathematical objects from finite words to transfinite cardinals. While classical probability theory does not formulate or even allow for a definition of an individual random object, there is an enduring appeal to the intuitive notion of a real number or of an infinite binary sequence chosen at random. This intuitive notion can be made precise when it is interpreted within an effective framework. There, an object is random if it passes all effective tests for randomness. This means that no algorithmically devisable test could detect features of an object that would contradict its randomness. For example, an elegant and useful characterization of the (uniform) randomness of an infinite binary sequence R is given by the algorithmic incompressibility of its finite initial segments: A infinite binary sequence is random if for all its finite initial segment no description of the segment (for example, by means of a computer program) exists which is essentially shorter than the initial segment itself. This descriptive, or algorithmic, perspective is both generally applicable and conceptually useful. With it, one can calibrate degrees of randomness, characterize applications of randomness, and prove preservation of randomness across type, such as between real numbers on the line and sample paths in Brownian motion. These are among the topics that will be studied during the 2014 IMS Programme on Algorithmic Randomness.

The conference series "Computability, Complexity and Randomness" is centered on developments in Algorithmic Randomness, and the conference CCR 2014 will be part of the IMS programme. The CCR has previously been held in Córdoba 2004, in Buenos Aires 2007, in Nanjing 2008, in Luminy 2009, in Notre Dame 2010, in Cape Town 2011, in Cambridge 2012 and in Moscow 2013; it will be held in Heidelberg 2015.

Activities

• Informal Collaboration (10am - 12nn) and Talks Before Conference: 2 - 8 Jun 2014
• Talks Before Conference
• Tuesday, 3 Jun 2014
• 10:00am - 10:45am: On normal and simply normal numbers, Yann Bugeaud, Université de Strasbourg, France
• 10:45am - 11:30am: A computable absolutely normal Liouville number (PDF),Verónica Becher, Universidad de Buenos Aires, Argentina
• Ninth International Conference on Computability, Complexity and Randomness (CCR 2014): 9 - 13 Jun 2014
• Informal Collaboration (10am - 12nn) and Talks After Conference: 14 - 30 Jun 2014
• Talks After Conference:
• Monday, 16 Jun 2014
• 10:00am - 10:45am: Normality, computability and diophantine approximation, Verónica Becher, Universidad de Buenos Aires
• 10.45am - 11.15am: Coffee Break
• 11:15am - 12:00nn: Some applications of higher Demuth's theorem (PDF), Liang Yu, Nanjing University, China
• Friday, 20 Jun 2014
• 10:00am - 10:45am: On algorithmic strong sufficient statistics, Nikolay Vereshchagin, Moscow State University, Russia
• 10.45am - 11.15am: Coffee Break
• 11:15am - 12:00nn: Sets have simple members (PDF), Samuel Epstein, Boston University, USA

 

Students and researchers who are interested in attending these activities are requested to complete the online registration form.

The following do not need to register:

• Those invited to participate (Visitors will register through another link provided by email from the organizers).
• Those applying for financial support.

 

Venue

 

• IMS Auditorium
  

 

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue