Logic List Mailing Archive

CfP: CCA 2026 - 23rd International Conference on Computability and Complexity in Analysis, 29-31 July 2026, Trier (Germany)

______________________________________________________________

First Call for Submissions

23nd International Conference on

    Computability and Complexity in Analysis (CCA 2026)
    July 29-31, 2026, Trier, Germany
    http://cca-net.de/cca2026/
    Submission deadline: May 1, 2026

The conference is colocated with the conference Computability in Europe (CiE 2026), July 27-31, 2026.
______________________________________________________________

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

Tutorial Speaker (jointly with CiE 2026 and MCU 2026)

    Olivier Bournez (Paris, France)

Inivited Speakers

    Manon Blanc (Copenhagen, Denmark)
    Matthew de Brecht (Kyoto, Japan)
    Emma Dinowitz (New York, USA)
    Satyadev Nandakumar (Kanpur, India)
    Sewon Park (Ljubljana, Slovenia)
    Cecilia Pradic (Swansea, UK)

Scientific Programme Committee

    Andrej Bauer (Ljubljana, Slovenia)
    Zvonko Iljazovi (Zagreb, Croatia)
    Kenshi Miyabe (Tokyo, Japan)
    Takako Nemoto (Sendai, Japan)
    Selwyn Ng (NTU, Singapore)
    Arno Pauly (Swansea, UK)
    Emmanuel Rauzy (Paris, France)
    Holger Thies, chair (Kyoto, Japan)
    Ning Zhong (Cincinnati, USA)

Organizing Committee

    Norbert Mller, chair (Trier, Germany)
    Hubert Glesener (Trier, Germany)

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=cca2026

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 hard copy and/or in electronic form.

Dates

    Submission deadline: 	May 1, 2026
    Notification of authors: 	June 5, 2026
    Final version: 		June 26, 2026

Conference Web Page

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