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-fro...
（登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。）
__________________________________
* 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-fro...
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)
logic-ml の皆様，
moderator の五十嵐です．
先程，配送した Matthew de Brecht さんからのメールですが，投稿は昨日で した．言及されている参加登録については，昨日の時点での「本日中」です． お気をつけください．
# 最初の投稿は moderator がチェックする設定なのですが，一日一回しか知 # らせが来ませんので，タイミングによっては丸一日(以上)遅れることがあり # ます．悪しからずご了承ください． -- 五十嵐 淳 (IGARASHI Atsushi) E-mail: igarashi@kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/
On Tue, 25 Aug 2020 09:25:20 +0900, Matthew de Brecht wrote:
[1 <multipart/alternative (7bit)>] [1.1 <text/plain; UTF-8 (base64)>] [1.2 <text/html; UTF-8 (quoted-printable)>] 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-fro...
（登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。）
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-fro...
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)
[2 <text/plain; utf-8 (base64)>] _______________________________________________ Logic-ml mailing list Logic-ml@fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml
logic-ml@fos.kuis.kyoto-u.ac.jp
-
Atsushi Igarashi -
Matthew de Brecht