Seventeenth International Conference on
Computability and Complexity in Analysis (CCA 2020)
http://cca-net.de/cca2020/
September 9-11, 2020, Bologna, Italy
Submission deadline: June 1, 2020
______________________________________________________________
Invited Speakers
* Olivier Bournez (Palaiseau, France)
* Douglas Cenzer (Gainesville, USA)
* Eva Darulova (Kaiserslautern, Germany)
* Makoto Fujiwara (Munich, Germany)
* Mathieu Hoyrup (Nancy, France)
* Alberto Marcone (Udine, Italy)
* Eike Neumann (Oxford, UK)
* Arno Pauly (Swansea, UK)
Scientific Program Committee
* Andrej Bauer (Ljubljana, Slovenia)
* Matthew de Brecht (Kyoto, Japan)
* Pietro Di Gianantonio (Udine, Italy)
* Daniel Graça (Faro, Portugal)
* Peter Hertling (Munich, Germany)
* Hajime Ishihara (Ishikawa, Japan)
* Zvonko Iljazovic, chair (Zagreb, Croatia)
* Matthias Schröder (Darmstadt, Germany)
* Holger Thies (Fukuoka, Japan)
* Ning Zhong (Cincinnati, USA)
Organizing Committee
* Melissa Antonelli (Bologna, Italy)
* Francesco Bianchini (Bologna, Italy)
* Guido Boccali (Bologna, Italy)
* Giovanna Corsi (Bologna, Italy)
* Ugo Dal Lago (Bologna, Italy)
* Cecilia Di Florio (Bologna, Italy)
* Guido Fiorillo (Bologna, Italy)
* Guido Gherardi, chair (Bologna, Italy)
* Leonardo Mazzanti (Bologna, Italy)
* Eugenio Orlandelli (Bologna, Italy)
* Sofia Pierini (Bologna, Italy)
* Gioia Susanna (Bologna, Italy)
* Riccardo Zanichelli (Bologna, Italy)
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=cca2020
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: June 1, 2020
* Notification of authors: June 15, 2020
* Final version: July 20, 2020
* Registration deadline: August 17, 2020
Corona Note
At this point it is not determined whether CCA 2020 can take place in Bologna, as intended. If the current coronavirus pandemic forces us to cancel the meeting in Bologna, then CCA 2020 will take place as online meeting. All submissions will automatically be considered
Conference Web Page