Logic List Mailing Archive

CCA 2020: Computability & Complexity in Analysis, Bologna (Italy) or virtual

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