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-Loef 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.

Topics:

• Algorithmic randomness

• Computability theory

• Kolmogorov complexity

• Computational complexity

• Reverse mathematics and logic

Juan Aguilera, TU Wien, Vienna, Austria

Wesley Calvert, Southern Illinois University, Carbondale, USA

Leonardo Coregliano, The University of Chicago, USA

Makoto Fujiwara, Tokyo University of Science, Tokyo, Japan

Liling Ko, The Ohio State University, Columbus, USA

Russell Miller, Queens College (CUNY), New York, USA

Sewon Park, Kyoto University, Kyoto, Japan

Francesca Zaffora Blando, Carnegie Mellon University, Pittsburgh, USA

You can register for CCR 2024 on the following web page:

• Registration web page for CCR 2024 

If you wish to attend the conference dinner, please register as soon as possible.

Participation Fee: 10,000 JPY (9,000 JPY for postdocs, 8,000 JPY for students)

Travelling:

From Airport to Nagoya Station:

• From Chubu Centrair International Airport (NGO): Take the Meitetsu "μ-SKY" Limited Express train (30 min.).

• From Tokyo (HND or NRT): First, head for Tokyo or Shinagawa Station (20-60 min.). Then take the Shinkansen (103 min.).

• From Osaka (KIX): First, head for Shin-Osaka Station (60 min.). Then take the Shinkansen (52 min.).

From Nagoya Station to Nagoya University:

1. Take the Subway Higashiyama Line from Nagoya Station (H08) to Motoyama Station (H16/M17).

2. Then transfer to the Subway Meijo Line (clockwise direction) to Nagoya Daigaku Station (M18).

3. The campus is just off the subway exit.

Accommodation:
For conference participation, please make your own hotel arrangements.

There are no hotels near the campus, so it's a good idea to book a hotel near Nagoya Station or a few stations around it (Fushimi, Sakae, etc.).

[Caution: We do not send emails regarding hotel arrangements. Please be aware that in recent years, there have been many fraudulent e-mails sent to various international conferences, offering hotel arrangements.]

CCR 2024 Abstract Booklet      Presentation Slides

Abstract Submissions:

Authors are invited to submit an abstract in PDF format of typically about 1 or 2 pages via the following web page:

• https://easychair.org/conferences/?conf=ccr2024

No full papers will be required for this conference. After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.

Important Dates:

• Submission deadline: December 22, 2023 January 12, 2024

• Notification of authors: January 12, 2024 (for early submissions)

• Final version: February 2, 2024

• Conference: March 11-15, 2024

Scientific Programme Committee:

Jörg Brendle (Kobe University, Japan)

Johanna Franklin (Hofstra University, USA)

Jun Le Goh (National University of Singapore)

Takayuki Kihara (Nagoya University, Japan)

Margarita Marchuk (Sobolev Institute of Mathematics, Novosibirsk State University, Russia)

Arno Pauly (Swansea University, UK)

Svetlana Selivanova (St. Petersburg University, Russia)

Keita Yokoyama (Tohoku University, Japan)

Organising Committee:

Johanna Franklin (Hofstra University, USA)

Takayuki Kihara (Nagoya University, Japan)

CCR Steering Committee:

Verónica Becher (Buenos Aires, Argentina), Laurent Bienvenu (Montpellier, France), Rod Downey, chair (Wellington, New Zealand), Denis Hirschfeldt (Chicago, United States), Elvira Mayordomo (Zaragoza, Spain), Wolfgang Merkle (Heidelberg, Germany), Nikolai K. Vereshchagin (Moscow, Russia), Liang Yu (Nanjing, China)

CCR 2023, 16th International Conference on Computability, Complexity and Randomness, Lake Kochel, Germany, July 10-14, 2023

CCR 2022, 15th International Conference on Computability, Complexity and Randomness, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, 6-10 June 2022

CCR 2019, 14th International Conference on Computability, Complexity and Randomness, Astana, Kazakhstan, 23-25 June 2019

CCR 2018, 13th International Conference on Computability, Complexity and Randomness, Santiago de Chile, Chile, 17-21 December 2018

CCR 2017, 12th International Conference on Computability, Complexity and Randomness, Mysore, India, 3-7 July 2017

CCR 2016, 11th International Conference on Computability, Complexity and Randomness, Honolulu, Hawaii, USA, 4-8 January 2016

CCR 2015, 10th International Conference on Computability, Complexity and Randomness, Heidelberg, Germany, 22-26 June 2015

CCR 2014, 9th International Conference on Computability, Complexity and Randomness, Singapore, 9-13 June 2014

CCR 2013, 8th International Conference on Computability, Complexity and Randomness, Moscow, Russia, 23-27 September 2013

CCR 2012, 7th International Conference on Computability, Complexity and Randomness, Cambridge, UK, 2-6 July 2012

CCR 2011, 6th International Conference on Computability, Complexity and Randomness, Cape Town, South Africa,January 31-February 4, 2011

CCR 2010, 5th International Conference on Computability, Complexity and Randomness, Notre Dame, USA, 2010

CCR 2009, 4th International Conference on Computability, Complexity and Randomness, Luminy, France, 2009

CCR 2008, 3th International Conference on Computability, Complexity and Randomness, Nanjing, China, 2008

CCR 2007, 2th International Conference on Computability, Complexity and Randomness, Buenos Aires, Argentina, 2007

CCR 2004, 1th International Conference on Computability, Complexity and Randomness, Córdoba, Argentina, 2004

For further information, please contact

• Johanna Franklin, Johanna.N.Franklin@hofstra.edu (for the scientific program)

• Takayuki Kihara, kihara@i.nagoya-u.ac.jp (for local information)

Funding and Sponsoring:

JSPS travel support: We are able to support travel expenses of some participants. Please contact the organizers as soon as possible if you would like to apply for travel support.

ASL travel support: Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following these instructions.

• The student applicant must be a member of ASL.

• Applications must be received by December 11, 2023.

This conference is supported by an NSF conference grant. This conference is also funded by the Japan Society for the Promotion of Science (JSPS) - KAKENHI grant number 23H03346 (PI: Hideki Tsuiki).

This conference is held in cooperation with the Association for Women in Mathematics (AWM) and supports the Welcoming Environment Statement of the AWM.