Logic List Mailing Archive

CfP: CCA 2025 – 22nd International Conference on Computability and Complexity in Analysis, 24–26 September 2025, Kyoto (Japan)

______________________________________________________________

First Call for Submissions

22nd International Conference on

    Computability and Complexity in Analysis (CCA 2025)
    September 24-26, 2025, Kyoto, Japan
    http://cca-net.de/cca2025/

Submission deadline: June 9, 2025
______________________________________________________________

Topics

    Computable analysis
    Complexity on real numbers
    Computable numbers, subsets and functions
    Theory of representations
    Computable differential equations
    Randomness and computable measure theory
    Algorithmic fractal dimension
    Effective descriptive set theory
    Weihrauch complexity
    Reverse analysis
    Constructive analysis
    Domain theory and analysis
    Realizability theory and analysis
    Models of computability on real numbers
    Real number algorithms
    Exact real number arithmetic

Invited Speakers

    Takako Nemoto (Sendai, Japan)
    Selwyn Ng (NTU, Singapore)
    Yudai Suzuki (Oyama, Japan)
    Patrick Uftring (München, Germany)

Scientific Programme Committee

    Johanna Franklin (Hempstead, NY, USA)
    Takayuki Kihara (Nagoya, Japan)
    Norbert Müller (Trier, Germany)
    Eike Neumann, chair (Swansea, UK)
    Monika Seisenberger (Swansea, UK)
    Lucija Validžić (Zagreb, Croatia)
    Keita Yokoyama (Sendai, Japan)
    Martin Ziegler (Daejeon, Republic of Korea)

Organizing Committee

    Holger Thies, co-chair (Kyoto, Japan)
    Akitoshi Kawamura co-chair (Kyoto, Japan)
    Matthew de Brecht (Kyoto, Japan)
    Sewon Park (Kyoto, Japan)
    Hideki Tsuiki (Kyoto, Japan)

Submissions

Authors are invited to submit 1-2 pages abstracts in PDF format, including references via the following web page:

    https://easychair.org/conferences/?conf=cca2025

If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list. Final versions of abstracts might be distributed to participants in hardcopy and/or in electronic form.

Dates

    Submission deadline:         June 9, 2025
    Notification of authors:    July 28, 2025
    Final version:            August 25, 2025

Conference Web Page

    http://cca-net.de/cca2025/
______________________________________________________________
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php