9-11 Sep 2020
Call for Papers
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
for the online meeting in this case.
Conference Web Page
http://cca-net.de/cca2020/
--
[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