About

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 behavior in some process from the expected behavior.

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 questions that algorithmic randomness addresses 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 behavior 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.

Location

School of Mathematics
University of Leeds

Directions

Coming soon!

Registration

Registration is required (so we can count the participants) and free.

The registration deadline is 21 August 2026.

To register for CCR2026, please send an email to ccr2026abstracts+registration@gmail.com.

Please include:

Contributed talks and abstracts

Participants who would like to contribute a talk may do so by submitting an abstract of 1-2 pages to ccr2026abstracts@gmail.com by the registration deadline of 21 August 2026.

Please include:
  • Subject line CCR2026 ABSTRACT.
  • Your name.
  • Your institution.
  • Your abstract in pdf format.
  • The TeX source for your abstract.  (There's no template or suggested format, but please try to keep it simple.)
Abstracts for contributed talks will be considered on a rolling bases and in most cases will be accepted or rejected by the program committee shortly after submission.  The length of the contributed talks will depend on the number of submissions.

Speakers

Coming soon!

Program

Coming soon!

Accommodation in Leeds and tourist information for Leeds and Yorkshire

Visitors to the University of Leeds School of Mathematics commonly stay at the Ibis on Marlborough Street.  It is about a 15-minute walk from Leeds Station and about a 20-minute walk from the University.

Colleagues have also enjoyed staying at the Ibis Styles Leeds City Centre Arena.

See www.visitleeds.co.uk for information on everything Leeds.  The site also contains many accommodation options.

See www.yorkshire.com for things to do and see in Yorkshire.

Traveling to Leeds

Leeds is served by Leeds Bradford Airport (LBA) and by Manchester Airport (MAN).  There is a train station at Manchester airport.  Travel to and from Leeds Bradford Airport is by bus or taxi.

Travelers outside Europe and the UK may also want to consider flying to London Heathrow (LHR) and taking the train up to Leeds.  The typical journey from Heathrow to Leeds involves taking the London Underground to London King’s Cross, then taking the London North Eastern Railway (LNER) to Leeds.  Book your trains between King’s Cross and Leeds well in advance because they are very expensive on the spot!

See www.nationalrail.co.uk for train timetables.

ASL sponsorship and student travel awards

Computability, Complexity, and Randomness 2026 is a sponsored meeting of the Association for Symbolic Logic.  Student members of the ASL may apply for modest travel awards by following the instructions at https://aslonline.org/student-travel-awards/.  Two key points are:

  • Students must be members of the ASL to apply for travel awards for CCR 2026
  • Student travel award applications must be received by 31 May 2026.
If you are not a member of the ASL, then please become one!

Computable90 Conference

CCR 2026 is proximate to the conference Computable90 in honor of the 90th anniversary of Alan Turing's article On Computable Numbers, with an Application to the Entscheidungsproblem.

Computable90: