FW: CCA2022 -- Call for Submissions

2 views

Skip to first unread message

Kreinovich, Vladik

unread,

Jan 30, 2022, 12:49:21 PM1/30/22

to construc...@googlegroups.com, Zheng, Xizhong

FYI, constructive analysis is one of the highlighted topics

From: Zheng, Xizhong [mailto:zhe...@arcadia.edu]
Sent: Sunday, January 30, 2022 10:32 AM

Call for Submissions

Nineteenth International Conference on

Computability and Complexity in Analysis (CCA 2022)
http://cca-net.de/cca2022/

May 23 – 26, 2022. Virtual

Submission deadline: March 9, 2022.
______________________________________________________________

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

Scientific Programme Committee

Vasco Brattka, chair (Munich, Germany)
Douglas Cenzer (Gainesville, USA)
Cameron Freer (Boston, USA)
Mathieu Hoyrup (Nancy, France)
Zvonko Iljazović (Zagreb, Croatia)
Takayuki Kihara (Nagoya, Japan)
Ulrich Kohlenbach (Darmstadt, Germany)
Neil Lutz (Philadelphia, USA)
Timothy McNicholl (Ames, USA)
Svetlana Selivanova (Daejeon, Republic of Korea)

Organizing Committee

Vitaly Ford (Glenside, USA)
Emily Marshall (Glenside, USA)
Weihong Ni (Glenside, USA)
Xizhong Zheng, chair (Glenside, USA)

Submissions

Authors are invited to submit 1-2 pages abstracts in PDF format,
including references via the following web page:

https://easychair.org/conferences/?conf=cca2022

If full versions of papers are already available as technical report or
arXiv version, then corresponding links should be added to the reference
list. Final versions of abstracts might be distributed to participants
in electronic form.

Dates:

Submission deadline: March 21, 2022
Notification of authors: April 18, 2022
Final version: May 9, 2022

Conference Web Page

http://cca-net.de/cca2022/

Best

Xizhong

Xizhong Zheng, Ph D

Professor
Department of Computer Science and Mathematics
Arcadia University, Glenside, PA 19038
office phone: 267-620-4803