[logic-ml] CfP: Computability and Complexity in Analysis (CCA 2020)

[Matthew]

logic-ml の皆様

京都大学 人間・環境学研究科の Matthew de Brechtです。

（私の勘違いでCCC 
2020の案内が更に遅れましたが、今日(8月26日）の時点でも参加登録はまだできそうです）。

紛らわしいですが、ついでにもう一つのオンライン・ワークショップを案内させていただきます。

Computability and Complexity in Analysis (CCA 
2020)は9月11日～9月13日にオンライン(Zoom)で開催されます（CCC 
2020とはまた別な学会です）。計算可能解析学や構成的解析学等にご興味のある方は是非ご参加ください。

詳細は下記のウェブサイトをご覧下さい。

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

参加登録の締め切りは9月1日（火）です。


=============================================================

Call for Participation

Seventeenth International Conference on
     Computability and Complexity in Analysis (CCA 2020)

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

September 9-11, 2020, virtual (originally planned for Bologna, Italy)

Registration deadline: September 1, 2020

______________________________________________________________

Due to the ongoing COVID-19 pandemic CCA 2020 cannot take place in 
Bologna, as originally intended. The entire conference will take place 
virtually on the Zoom online conference platform. The conference link 
will be distributed to all registered participants.
______________________________________________________________

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)

Conference Web Page

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

Registration deadline: September 1, 2020