Universiteit van Amsterdam


Institute for Logic, Language and Computation

9 - 11 September 2020, Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020), Bologna (Italy) or Virtual

Date: 9 - 11 September 2020
Location: Bologna (Italy) or Virtual
Deadline: Monday 1 June 2020

The conference is concerned with the theory of computability and complexity over real-valued data.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

Authors are invited to submit 1-2 pages abstracts in PDF format, including references.

If full versions of papers are already available as technical report or arXiv version, then corresponding links should be added to the reference list.

For more information, see http://cca-net.de/cca2020/.