Logic List Mailing Archive

CCA 2022: Computability & Complexity in Analysis, Virtual

23-26 May 2022

Second Call for Submissions: Nineteenth International Conference on
Computability and Complexity in Analysis (CCA 2022)

May 23 – 26, 2022. Virtual
Submission deadline: March 21, 2022.


     * Computable analysis
     * Complexity on real numbers
     * Constructive analysis
     * Domain theory and analysis
     * Effective descriptive set theory
     * Theory of representations
     * Computable numbers, subsets and functions
     * Randomness and computable measure theory
     * Models of computability on real numbers
     * Realizability theory and analysis
     * Reverse analysis
     * Weihrauch complexity
     * Real number algorithms
     * Implementation of exact real number arithmetic

*Invited Speakers*:

    - Verónica Becher <https://www-2.dc.uba.ar/staff/becher/> (Buenos Aires,
    - Jun Le Goh <https://people.math.wisc.edu/~jgoh/> (Madison, USA)
    - Isaac Goldbring <https://www.math.uci.edu/~isaac/> (Irvine, USA)
    - Daniel Graça <https://www.it.pt/AutomaticPage?id=3465> (Faro,
    - Vassils Gregoriades <http://www.math.ntua.gr/~vgregoriades/> (Athens,
    - Elvira Mayordomo <http://webdiis.unizar.es/~elvira/> (Zaragoza, Spain)
    - Alexander Melnikov <https://people.wgtn.ac.nz/sasha.melnikov>
    (Wellington, New Zealand)
    - Henry Towsner <https://www.sas.upenn.edu/~htowsner/> (Philadelphia,

*Scientific Programme Committee*

    - Vasco Brattka, chair (Munich, Germany)
    - Douglas Cenzer (Gainesville, USA)
    - Cameron Freer (Boston, USA)
    - Mathieu Hoyrup (Nancy, France)
    - Zvonko Iljazović (Zagreb, Croatia)
    - Takayuki Kihara (Nagoya, Japan)
    - Ulrich Kohlenbach (Darmstadt, Germany)
    - Neil Lutz (Philadelphia, USA)
    - Timothy McNicholl (Ames, USA)
    - Svetlana Selivanova (Daejeon, Republic of Korea)

Organizing Committee

    - Vitaly Ford (Glenside, USA)
    - Emily Marshall (Glenside, USA)
    - Weihong Ni (Glenside, USA)
    - Xizhong Zheng, chair (Glenside, USA)

Authors are invited to submit 1-2 pages abstracts in PDF format,
including references via the following web page:
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 electronic form.


    - Submission deadline: March 21, 2022
    - Notification of authors: April 18, 2022
    - Final version: May 9, 2022

*Conference Web Page*


Xizhong Zheng, Ph D
Department of Computer Science and Mathematics
Arcadia University, Glenside, PA 19038
office phone: 267-620-4803
webpage: https://www.arcadia.edu/profile/xizhong-zheng
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam