<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">logic-ml の皆様<br></div><div dir="ltr"><br>京都大学 人間・環境学研究科の Matthew de Brechtです。<br><br>今年のContinuity, Computability, Constructivityワークショップ(CCC 2020)は来週(8月31日～9月4日)オンライン(Zoom)で開催されます。計算可能解析学、ポイントレス・トポロジー、構成的論理等にご興味のある方は是非ご参加ください。人間・環境学研究科の立木秀樹教授による招待講演も予定されています。<br><br>突然で申し訳ございませんが、参加される方は本日中に下記のウェブページで登録してください。<div><br></div><div>  <a href="http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/" target="_blank">http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/</a>  <br></div><div><br></div><div>（登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。）<div><br><div class="gmail_quote"><div dir="ltr"><div><div style="word-wrap:break-word;line-break:after-white-space"><div style="word-wrap:break-word;line-break:after-white-space"><div style="word-wrap:break-word;line-break:after-white-space"><div style="word-wrap:break-word;line-break:after-white-space"><br>
<div style="text-align:left;margin-top:0px;margin-bottom:0px;line-height:normal">
<span style="font-family:Tahoma,sans-serif;font-size:small">__________________________________</span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
Continuity, Computability, Constructivity – From Logic to Algorithms</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif"> (CCC 2020)</span></b><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif"> Online workshop</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif"> 31 August - 4 September 2020</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif">Call for participation</span></b><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></div>
<div style="margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<font face="Tahoma" size="2"><a href="http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/" target="_blank">http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-from-logic-to-algorithms-faro-portugal-august-31-september-4-2020/</a></font></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<br>
<span style="font-size:12pt;font-family:"Times New Roman",serif"><a href="http://ccc2014.fmf.uni-lj.si/" target="_blank"></a></span><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal"><font face="Tahoma" size="2">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.</font></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal"><span><font face="Tahoma" size="2"><b><span style="background-color:rgb(255,255,255)">Due to the COVID-19 pandemic and its consequences with respect
 to travelling and gathering together, the workshop will take place online.</span> </b></font></span></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal"><span><font face="Tahoma" size="2"><br>
</font></span></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal"><span><font face="Tahoma" size="2">Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018,
 and Ljubljana 2019.</font></span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal"><span><font face="Tahoma" size="2">The workshop is open to all researchers in the area.</font></span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif">Scope: </span></b><span style="font-size:10pt;font-family:Tahoma,sans-serif">The workshop specifically invites contributions in the areas of</span></div>
<ul style="font-size:13.333333015441895px">
<li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span><span style="font-size:10pt;font-family:Tahoma,sans-serif">Exact real number computation,</span><span style="font-size:7pt;line-height:normal;font-family:"Times New Roman""></span><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></li><li><font face="Tahoma, sans-serif">Correctness of algorithms on infinite data,</font></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Computable analysis,</span><span style="font-size:10pt;font-family:Symbol"></span></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Complexity of real numbers, real-valued functions, etc.</span></li><li><font face="Tahoma, sans-serif">Effective descriptive set theory,</font></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Domain theory,</span></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span>Constructive analysis,<span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Category-theoretic approaches to computation on infinite data,</span></li><li style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Weihrauch degrees,</span><span style="font-size:10pt;font-family:Symbol"><span></span></span></li><li style="font-family:Tahoma">And related areas.  </li></ul>
<font size="2"><span style="font-size:10pt;font-family:Tahoma,sans-serif"></span></font>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></div>
<div style="font-size:10pt;font-family:Tahoma;margin-top:0px;margin-bottom:0px">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif">Invited Speakers:</span></b><span style="font-size:10pt;font-family:Tahoma,sans-serif"> </span></div>
<div style="margin-top:0px;margin-bottom:0px">
<ul style="max-width:650pt;padding-bottom:5pt">
<li><font face="Tahoma" size="2"><span style="font-style:normal">Holger Boche (Munich)</span></font></li><li><font face="Tahoma" size="2"><span style="font-style:normal">Elvira Mayordomo (Zaragoza)</span></font></li><li><font face="Tahoma" size="2"><span style="font-style:normal">Eike Neumann (Oxford)</span></font></li><li><font face="Tahoma" size="2"><span style="font-style:normal">Hideki Tsuiki (Kyoto).</span></font></li></ul>
</div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b style="font-size:10pt"><span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b style="font-size:10pt"><span style="font-size:10pt;font-family:Tahoma,sans-serif">Tutorial Speaker:</span></b></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b style="font-size:10pt"><span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></b></div>
<div style="margin-top:0px;margin-bottom:0px;line-height:normal">
<ul>
<li><font face="Tahoma, sans-serif" size="2"><b><span style="font-family:Tahoma;font-weight:normal;background-color:rgb(255,255,255)">Hongseok Yang (KAIST)</span></b></font></li></ul>
</div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
<br>
</div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;text-align:center;line-height:normal">
</div>
<b style="font-size:13.333333015441895px;font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif">
<div><b style="font-family:Tahoma"><span style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></b></div>
Programme Committee:</span></b>
<ul style="font-family:Tahoma">
<li><font size="2">Matthew de Brecht (Kyoto)</font></li><li><font size="2">Daniel Graça (Faro) (co-chair)</font></li><li><font size="2">Michal Konečný (Aston)</font></li><li><font size="2">Monika Seisenberger (Swansea)</font></li><li><font size="2">Alex Simpson (Ljubljana)</font></li><li><font size="2">Dieter Spreen (Siegen) (co-chair)</font></li><li><font size="2">Holger Thies (Kyushu)</font></li><li><font size="2">Martin Ziegler (Daejeon).</font></li><div style="font-size:13.333333015441895px"><br>
</div>
</ul>
<font size="2"><span lang="DE" style="font-size:10pt;font-family:Tahoma,sans-serif"></span></font>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<span lang="DE" style="font-size:10pt;font-family:Tahoma,sans-serif"><br>
</span></div>
<div style="font-size:13.333333015441895px;font-family:Tahoma;margin-top:0px;margin-bottom:0px;line-height:normal">
<b><span style="font-size:10pt;font-family:Tahoma,sans-serif">Organizing Committee:</span></b></div>
<ul style="font-size:13.333333015441895px;font-family:Tahoma">
<li><span style="font-size:10pt;font-family:Tahoma,sans-serif">Daniel Graça (Faro)</span></li><li><span style="font-size:10pt;font-family:Tahoma,sans-serif">Dieter Spreen (Siegen)</span></li></ul>
<div><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>

</div></div></div></div>
</div></div>