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
logic-ml の皆様
京都大学 人間・環境学研究科の Matthew de Brechtです。
今年のContinuity, Computability, Constructivityワークショップ(CCC
2020)は来週(8月31日～9月4日)オンライン(Zoom)で開催されます。計算可能解析学、ポイントレス・トポロジー、構成的論理等にご興味のある方は是非ご参加ください。人間・環境学研究科の立木秀樹教授による招待講演も予定されています。
突然で申し訳ございませんが、参加される方は本日中に下記のウェブページで登録してください。
http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr…
（登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。）
__________________________________
* Continuity, Computability, Constructivity – From Logic to Algorithms*
* (CCC 2020)*
* Online workshop*
* 31 August - 4 September 2020*
*Call for participation*
http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr…
<http://ccc2014.fmf.uni-lj.si/>
CCC is a workshop series that brings together researchers applying logical
methods to the development of algorithms, with a particular focus on
computation with infinite data, where issues of continuity, computability
and constructivity play major roles. Specific topics include exact real
number computation, computable analysis, effective descriptive set theory,
constructive analysis, and related areas. The overall aim is to apply
logical methods in these disciplines to provide a sound foundation for
obtaining exact and provably correct algorithms for computations with real
numbers and other continuous data, which are of increasing importance in
safety critical applications and scientific computation.
*Due to the COVID-19 pandemic and its consequences with respect to
travelling and gathering together, the workshop will take place online. *
Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog
2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, and Ljubljana
2019.
The workshop is open to all researchers in the area.
*Scope: *The workshop specifically invites contributions in the areas of
- Exact real number computation,
- Correctness of algorithms on infinite data,
- Computable analysis,
- Complexity of real numbers, real-valued functions, etc.
- Effective descriptive set theory,
- Domain theory,
- Constructive analysis,
- Category-theoretic approaches to computation on infinite data,
- Weihrauch degrees,
- And related areas.
*Invited Speakers:*
- Holger Boche (Munich)
- Elvira Mayordomo (Zaragoza)
- Eike Neumann (Oxford)
- Hideki Tsuiki (Kyoto).
*Tutorial Speaker:*
- *Hongseok Yang (KAIST)*
* Programme Committee:*
- Matthew de Brecht (Kyoto)
- Daniel Graça (Faro) (co-chair)
- Michal Konečný (Aston)
- Monika Seisenberger (Swansea)
- Alex Simpson (Ljubljana)
- Dieter Spreen (Siegen) (co-chair)
- Holger Thies (Kyushu)
- Martin Ziegler (Daejeon).
*Organizing Committee:*
- Daniel Graça (Faro)
- Dieter Spreen (Siegen)
