Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 9 - 11 September 2020
Location: 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.

Due to the ongoing COVID-19 pandemia CCA 2020 cannot take place in Bologna, as originally intended. The entire conference will take place virtually on the Zoom online conference platform.

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/.

Please note that this newsitem has been archived, and may contain outdated information or links.