FYI, constructive math is one of the highlighted topics
From: Zheng, Xizhong
Sent: Friday, May 13, 2022 12:13 AM
CCA2022 Call for Participation.
Nineteenth International Conference on Computability and Complexity in Analysis (CCA 2022)
May 23 – 25, 2022. Virtual
CCA2022 will be hosted virtually through zoom. To register, please go to the conference webpage
https://www.arcadia.edu/cca2022. The registration is free and you
will receive the zoom link after registration. The conference schedule and other related information are also available on the conference webpage.
______________________________________________________________
Topics
* 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:
Scientific Programme Committee
Best
Xizhong
Xizhong Zheng, Ph D
Professor
Department of Computer Science and Mathematics
Arcadia University, Glenside, PA 19038
office phone: 267-620-4803