26-28 Jul 2021
______________________________________________________________
Call for Submissions
Eighteenth International Conference on
Computability and Complexity in Analysis (CCA 2021)
http://cca-net.de/cca2021/
July 26-28, 2021, Virtual
Submission deadline: June 1, 2021
______________________________________________________________
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 Program Committee
* Vasco Brattka (Munich, Germany)
* Hannes Diener (Christchurch, New Zealand)
* Guido Gherardi, chair (Bologna, Italy)
* Linda Brown Westrick (University Park, USA)
* Akitoshi Kawamura (Kyoto, Japan)
* Eike Neumann (Saarbrücken, Germany)
* Jack Lutz (Ames, USA)
* Arno Pauly (Swansea, UK)
* Victor Selivanov (Novosibirsk, Russia)
* Martin Ziegler (Daejeon, Republic of Korea)
Organizing Committee
* Vasco Brattka, chair (Munich, Germany)
* Peter Hertling (Munich, Germany)
* Rupert Hölzl (Munich, Germany)
* Philip Janicki (Munich, Germany)
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=cca2021
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: June 1, 2021
* Notification of authors: June 15, 2021
* Final version: July 1, 2021
Conference Web Page
* http://cca-net.de/cca2021/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam