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.

15-17 June 2016, Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), Faro, Portugal

Date: 15-17 June 2016
Location: Faro, Portugal
Deadline: 14 March 2016

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

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

Authors are invited to submit 1-2 pages abstracts in PDF format (including references) by March 14, 2016.

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