Scope

Computability, Complexity and Randomness is a series of conferences devoted generally to the mathematics of computation and complexity, but tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Algorithmic randomness is the part of mathematics devoted to ascribing meaning to the randomness of individual strings and infinite sequences. For example, we give mathematical meaning to the intuition that one would more readily believe that the string 01101101001101011 was produced via the flips of a fair coin than one would of the string 00000000000000000. The core idea is that a sequence is algorithmically random if it passes all computational randomness tests, and hence if a computational observer cannot distinguish its behaviour in some process from the expected behaviour.

There are several historical approaches to algorithmic randomness, such as computable martingales, Kolmogorov complexity and Martin-Löf of randomness. Algorithmic randomness is also related to classical concepts, such as entropy (in the senses of Shannon and Boltzmann). The mathematics of this area is really quite deep. The kinds of questions include: How do we calibrate levels of randomness? Can we amplify weak random sources? Is randomness a provable computational resource? What kinds of power do random sources give us? And so on. Tools from this area can be used in many areas of mathematics and computer science, including the expected behaviour of algorithms, computational biology, ergodic theory, geometric measure theory, number theory and normality. The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic, such as Kolmogorov complexity, computational complexity and reverse mathematics.

This year's edition of CCR will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').

 

Topics

  • Algorithmic randomness
  • Computability theory
  • Kolmogorov complexity
  • Computational complexity
  • Reverse mathematics and logic

 

Registration and submission

People who wish to attend the conference should register before April 30, 2025. Participation to the conference is free of charge (a contribution will however be required for the conference dinner). 

Participants who would like to give a talk can submit an abstract (1-2 pages, all types of talks will be considered: published work, work in progress, survey, etc), no later than the registration deadline. Abstracts will be examined by the program committee and approved or rejected shortly after submission.

 

Invited speakers

  • Elvira Mayordomo (Universidad de Zaragoza, Spain)
  • Joseph Miller (University of Wisconsin–Madison, USA)
  • Kenshi Miyabe (Meiji University, Japan)
  • Rahul Santhanam (Oxford University, UK)
  • Andrea Sorbi (Università degli Studi di Siena, Italy)
     
     

Program Committee

  • Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
  • Satyadev Nandakumar (IIT Kanpur, India)
  • Takako Nemoto (Tohoku University, Japan)
  • Cristobal Rojas (Universidad Católica de Chile, Chile)
  • Andrei Romashchenko (CNRS & Université de Montpellier, France)
  • Paul Shafer (University of Leeds, UK), co-chair
  • Sebastiaan Terwijn (Radboud University, Netherlands)
  • Francesca Zaffora-Blando (Carnegie-Mellon University, USA)
     
     

Local organizers

Laurent Bienvenu, Subin Pulari, Ivan Titov

Online user: 2 Privacy | Accessibility
Loading...