[logic-ml] 証明論と計算論のワークショップの延期のお知らせ

[Ryoma Sin'ya]

みなさま、

秋田大の新屋です．

新型コロナウイルスの感染拡大防止対策の政府方針を受け、本日本学から
本ワークショップの中止・延期を指示されました．

そのため、誠に残念ながら本ワークショップの開催を延期したいと思います．

状況が落ち着いたころに開催したいと思いますので，日程については現時点で未定です．
日程が決まり次第再度メーリングリストにて通知したいと思います．よろしくおねがいします．

秋田大学　数理科学コース　新屋良磨

> Begin forwarded message:
> 
> From: "Ryoma Sin'ya" <ryoma at math.akita-u.ac.jp>
> Subject: [logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25)
> Date: February 3, 2020 15:37:06 JST
> To: logic-ml at fos.kuis.kyoto-u.ac.jp, jssst-ppl at fos.kuis.kyoto-u.ac.jp
> 
> みなさま，
> 
> こんにちは、秋田大学の新屋と申します．
> 
> 3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します．
> 会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください．
> https://sites.google.com/view/proof-computation-akita/home <https://sites.google.com/view/proof-computation-akita/home>
> 
> 
> 聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は
> 3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．
> 
> 
> 秋田大学 数理科学コース 新屋良磨
> _______________________________________________
> 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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20200302/54e96643/attachment.html>