Logic List Mailing Archive

CfP: CCR 2025: International Conference on Computability/ Complexity and Randomness, 16–20 June, Bordeaux (France)

CCR 2025: CALL FOR ABSTRACTS
========
18th International Conference on Computability, Complexity and Randomness (
CCR 2025) https://ccr2025.sciencesconf.org/ June 16-20, 2025 LaBRI, Univers
ity 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 conf
erence website. Submissions can be done at any time and notification of acc
eptance or rejection will be sent shortly after submission. The deadline fo
r submitting an abstract is April 30, 2025.

========
INVITED SPEAKERS:
* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of WisconsinMadison, 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 Catlica 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 2024 is the 18th edition of the International Conference on Computabili
ty, 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 impa
ct on mathematics. Previous editions of the conference have been held at Co
rdoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (Franc
e), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Rus
sia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Sant
iago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Ge
rmany) and Nagoya (Japan).

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

========
FUNDING:

Funding opportunities for student members of the Association for Symbolic L
ogic (ASL) are available. Applications should be directed to the Associatio
n for Symbolic Logic three months prior to the meeting, following the instr
uctions here: 

https://aslonline.org/student-travel-awards/ Applications must be received 
by March 15, 2025.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php