Logic List Mailing Archive

CfP: CCA 2024: 21st conference on Computability and Complexity in Analysis, 15-18 July 2024, Swansea (UK)

______________________________________________________________

Call for Submissions

Twenty-First International Conference on

    Computability and Complexity in Analysis (CCA 2024)
    July 15-18, 2024, Swansea, UK
    http://cca-net.de/cca2024/

Submission deadline: April 29, 2024
______________________________________________________________

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

Scientific Programme Committee

    Martín Escardó (Birmingham, UK)
    Jun Le Goh (Singapore)
    Rupert Hölzl (Munich, Germany)
    Zvonko Iljazović, chair (Zagreb, Croatia)
    Alexander Melnikov (Wellington, New Zealand)
    Anton Setzer (Swansea, UK)
    Holger Thies (Kyoto, Japan)
    Ning Zhong (Cincinnati, USA)

Organizing Committee

    Eike Neumann, chair (Swansea, UK)
    Arno Pauly (Swansea, UK)
    Olga Petrovska (Swansea, UK)
    Cécilia Pradic (Swansea, UK)
    Manlio Valenti (Swansea, UK)

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 on the web page.

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

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:     April 29, 2024
    Notification of authors: May 27, 2024
    Final version:           June 10, 2024

Conference Web Page

   http://cca-net.de/cca2024/

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