Logic List Mailing Archive

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

CCR 2024: SECOND 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:
* Juan Aguilera, TU Wien, Vienna, Austria

* Wesley Calvert, Southern Illinois University, Carbondale, USA

* Leonardo Coregliano, University of Chicago, 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

========

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

========

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/ Applications must be received by December 11, 2023.

 

The organizers have also applied to the NSF for funding to support the participation of researchers based in the US, particularly graduate students and postdocs. Please contact Johanna Franklin at johanna.n.franklin@hofstra.edu to indicate interest.

 

========

 

This conference is held in cooperation with the Association for Women in Mathematics and supports its Welcoming Environment Statement:
https://awm-math.org/policy-advocacy/welcoming-environment/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php