
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">みなさま、<br class=""><br class="">秋田大の新屋です．<br class=""><br class="">新型コロナウイルスの感染拡大防止対策の政府方針を受け、本日本学から<div class="">本ワークショップの中止・延期を指示されました．</div><div class=""><br class=""></div><div class="">そのため、誠に残念ながら本ワークショップの開催を延期したいと思います．</div><div class=""><br class=""></div><div class="">状況が落ち着いたころに開催したいと思いますので，日程については現時点で未定です．</div><div class="">日程が決まり次第再度メーリングリストにて通知したいと思います．よろしくおねがいします．<br class=""><br class=""><div class="">秋田大学　数理科学コース　新屋良磨</div><div class=""><br class=""></div><div class=""><blockquote type="cite" class=""><div class="">Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin: 0px;" class=""><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><b class="">From: </b></span><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class="">"Ryoma Sin'ya" <<a href="mailto:ryoma@math.akita-u.ac.jp" class="">ryoma@math.akita-u.ac.jp</a>><br class=""></span></div><div style="margin: 0px;" class=""><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><b class="">Subject: </b></span><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><b class="">[logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25)</b><br class=""></span></div><div style="margin: 0px;" class=""><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><b class="">Date: </b></span><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class="">February 3, 2020 15:37:06 JST<br class=""></span></div><div style="margin: 0px;" class=""><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><b class="">To: </b></span><span style="font-family: -webkit-system-font, "Helvetica Neue", Helvetica, sans-serif;" class=""><a href="mailto:logic-ml@fos.kuis.kyoto-u.ac.jp" class="">logic-ml@fos.kuis.kyoto-u.ac.jp</a>, <a href="mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp" class="">jssst-ppl@fos.kuis.kyoto-u.ac.jp</a><br class=""></span></div><br class=""><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">みなさま，<div class=""><br class=""></div><div class="">こんにちは、秋田大学の新屋と申します．</div><div class=""><br class=""></div><div class="">3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します．</div><div class="">会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください．</div><div class=""><a href="https://sites.google.com/view/proof-computation-akita/home" class="">https://sites.google.com/view/proof-computation-akita/home</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は</div><div class="">3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">秋田大学 数理科学コース 新屋良磨</div></div>_______________________________________________<br class="">Logic-ml mailing list<br class=""><a href="mailto:Logic-ml@fos.kuis.kyoto-u.ac.jp" class="">Logic-ml@fos.kuis.kyoto-u.ac.jp</a><br class="">http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml<br class=""></div></blockquote></div><div class=""><div class=""><br class=""></div></div></div></body></html>