Tuesday, December 12, 2017

[DMANET] CCA 2018: First call for papers

First Call for Papers for the

Fifteenth International Conference on
Computability and Complexity in Analysis (CCA 2018)

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

Held in Honour of Klaus Weihrauch's 75th Birthday

August 5-8, 2018, Lake Kochel, Germany
______________________________________________________________


Venue

The conference takes place at the Georg-von-Vollmar Academy
in Kochel, Germany. Kochel am See is beautifully located at
Lake Kochel at the edge of the Bavarian Alps, approximately
70 km south of Munich, from where it can easily be reached.

The conference CCA 2018 is preceded by the conference
Computability in Europe (CiE 2018) that takes place in Kiel,
in the north of Germany, from July 30 to August 3, 2018.


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
- Real number algorithms
- Implementation of exact real number arithmetic


Invited Speakers
- Daniel Graca (Faro, Portugal)
- Neil Lutz (Piscataway, USA)
- Florian Steinberg (INRIA, France)
- Pieter Collins (Maastricht, Netherlands)
- Ludovic Patey (Lyon, France)
- Diogo Pocas (Hamilton, Canada)
- Rupert Hölzl (Munich, Germany)
- Matthias Schröder (Darmstadt, Germany)


Scientific Programme Committee

- Laurent Bienvenu (Montpellier, France)
- Hannes Diener (Christchurch, New Zealand)
- Denis Hirschfeldt (Chicago, USA)
- Rupert Hölzl (Munich, Germany)
- Zvonko Iljazovic (Zagreb, Croatia)
- Takayuki Kihara (Nagoya, Japan)
- Elvira Mayordomo (Zaragoza, Spain)
- Norbert Müller (Trier, Germany)
- Ning Zhong (Cincinnati, USA)
- Martin Ziegler, chair (Daejeon, Republic of Korea)


Organising 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=cca2018

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 hardcopy and/or in electronic form.


Dates

* Submission deadline: April 2, 2018
* Notification of authors: May 7, 2018
* Final version: June 4, 2018
* Registration deadline: June 18, 2018
* Conference: August 5-8, 2018


Conference Web Page

http://cca-net.de/cca2018/
--8323329-1036883327-1513106442=:27813--

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************