Logic List Mailing Archive

CfP: CCR2024 Seventeenth International Conference on Computability, Complexity and Randomness, 11-15 March 2024, Nagoya (Japan)

CCR 2024: FIRST CALL FOR ABSTRACTS

========

Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024) https://sites.google.com/view/ccr2024/home

March 11-15, 2024

Nagoya University, Nagoya, Japan

========

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

 

========

IMPORTANT DATES:

* Submission deadline: December 22, 2023

* Notification of authors: January 12, 2024

* Final version: February 2, 2024

* Conference: March 11-15, 2024

 

========

 

SUBMISSION INFORMATION:

 

Authors are invited to submit an extended abstract of 1-2 pages via the following webpage:
https://easychair.org/conferences/?conf=ccr2024

 

========


INVITED SPEAKERS (PRELIMINARY LIST):
* Juan Aguilera, TU Wien, Vienna, Austria

* Wesley Calvert, Southern Illinois University, Carbondale, 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

========

SCIENTIFIC PROGRAM COMMITTEE:
* Jörg Brendle (Kobe University, Japan)

* Johanna Franklin, co-chair (Hofstra University, USA)

* Jun Le Goh (National University of Singapore)

* Takayuki Kihara, co-chair (Nagoya University, Japan)

* Margarita Marchuk (Novosibirsk State University, Russia)

* Arno Pauly (Swansea University, UK)

* Svetlana Selivanova (KAIST, Korea)

* Keita Yokoyama (Tohoku University, Japan)

========

ABOUT THE CONFERENCE:

CCR 2024 is the 17th 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), and Lake Kochel (Germany).
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php