[logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25)
Ryoma Sin'ya
ryoma at math.akita-u.ac.jp
Mon Feb 3 15:37:06 JST 2020
みなさま,
こんにちは、秋田大学の新屋と申します.
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日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです.
秋田大学 数理科学コース 新屋良磨
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20200203/7bbafb09/attachment.html>
More information about the Logic-ml
mailing list