[logic-ml] Fwd: CCC 2020; call for participation

[Atsushi Igarashi]

logic-ml の皆様，

moderator の五十嵐です．

先程，配送した Matthew de Brecht さんからのメールですが，投稿は昨日で
した．言及されている参加登録については，昨日の時点での「本日中」です．
お気をつけください．

# 最初の投稿は moderator がチェックする設定なのですが，一日一回しか知
# らせが来ませんので，タイミングによっては丸一日(以上)遅れることがあり
# ます．悪しからずご了承ください．
--
五十嵐 淳 (IGARASHI Atsushi)
E-mail: igarashi at 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-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/
>   
> 
> （登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。）
> 
> __________________________________
> 
> 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-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/
> 
> 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 at fos.kuis.kyoto-u.ac.jp
> http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml