Begin forwarded message:

From: "Ryoma Sin'ya" <ryoma@math.akita-u.ac.jp>

Subject: [logic-ml] 証明論と計算論のワークショップ開催の案内@秋田大(3/23~3/25)

Date: February 3, 2020 15:37:06 JST

To: logic-ml@fos.kuis.kyoto-u.ac.jp, jssst-ppl@fos.kuis.kyoto-u.ac.jp

みなさま，

こんにちは、秋田大学の新屋と申します．

3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します．

会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください．

https://sites.google.com/view/proof-computation-akita/home

聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は

3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．

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

_______________________________________________
Logic-ml mailing list
Logic-ml@fos.kuis.kyoto-u.ac.jp
http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml