logic-ml の皆様
京都大学 人間・環境学研究科の Matthew de Brechtです。
（私の勘違いでCCC 2020の案内が更に遅れましたが、今日(8月26日）の時点でも参加登録はまだできそうです）。
紛らわしいですが、ついでにもう一つのオンライン・ワークショップを案内させていただきます。
Computability and Complexity in Analysis (CCA 2020)は9月11日～9月13日にオンライン(Zoom)で開催されます（CCC 2020とはまた別な学会です）。計算可能解析学や構成的解析学等にご興味のある方は是非ご参加ください。
詳細は下記のウェブサイトをご覧下さい。
参加登録の締め切りは9月1日（火）です。
=============================================================
Call for Participation
Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020)
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
Registration deadline: September 1, 2020