Thursday, March 13 (between 11:30 a.m. and 1 p.m.) an operation is planned on the authentication server
which may cause connection issues on Sciencesconf
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 registerbefore 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)