CCR 2025 announce

[Alexander Shen]

(from Laurent Bienvenu)

CCR 2025: CALL FOR ABSTRACTS

========
18th International Conference on Computability, Complexity and
Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/

June 16-20, 2025
LaBRI, University of Bordeaux, France


========

TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic

========

SUBMISSION INFORMATION:

Authors are invited to submit an extended abstract of 1-2 pages on the
conference website. Submissions can be done at any time and notification
of acceptance or rejection will be sent shortly after submission. The
deadline for submitting an abstract is April 30, 2025.

========

INVITED SPEAKERS:

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


========

SCIENTIFIC 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

========

ABOUT THE CONFERENCE:

CCR 2025 is the 18th edition of the International Conference on
Computability, Complexity and Randomness, a series of conferences
devoted generally to the mathematics of computation and complexity but
that tends to primarily focus on algorithmic randomness/algorithmic
information theory and its impact on mathematics. Previous editions of
the conference have been held at Cordoba (Argentina), Buenos Aires
(Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape
Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore,
Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile
(Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and
Nagoya (Japan).

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


========

FUNDING:

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 the instructions here:
https://aslonline.org/student-travel-awards/