Computability and Complexity in Analysis

International Conference

Share
 

The Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016) will be held at the University of Algarve next June 15th - 17th, 2016. 

Topics:
* Computable analysis;
* Complexity on real numbers;
* Constructive analysis;
* Domain theory and analysis;
* 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;
* Real number algorithms;
* Implementation of exact real number arithmetic.

More information at http://cca-net.de/cca2016/ 

Relacionadas