[logic-ml] ワークショップのお知らせ(3/26~3/29@秋田大)
Ryoma Sin'ya
ryoma at math.akita-u.ac.jp
Thu Feb 1 15:15:59 JST 2018
(重複で受け取られた方はご容赦ください)
皆様,
秋田大の新屋です.
以下の要項で3月末に秋田大にてワークショップを開催いたします.
参加申し込みなどは不要ですので,どうぞお気軽にご参加ください.
期間:
3月26日のお昼後から3月29日のお昼前まで
会場:
〒010-8502 秋田市手形学園町1番1号
秋田大学 手形キャンパス 総合研究棟 1階講義室
(学内地図 http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf <http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf> )
講演予定者リスト(敬称略,決定順):
根元 多佳子 (JAIST),石原 哉 (JAIST),木原 貴行 (名古屋大),鹿島 亮 (東工大),照井 一成 (京大),
薄葉 季路 (早稲田大),坪井 明人 (筑波大),金沢 誠 (NII),中野 圭介 (電通大)
講演予定者リストは今後更新される可能性があります.また,若干名ですが学生さんにも講演を依頼しているところです.
2月中旬にワークショップのWebページと仮プログラムを公開したいと思います.
また,本ワークショップの前日(3/22~3/25)までには秋田県仙北市田沢湖にて「ラムダ計算と論理の早春セミナー」も開催されますので,
そちらへのご参加もご一考ください.
以上,どうぞよろしくお願いします.
秋田大学 数理科学コース 新屋良磨 ryoma at math.akita-u.ac.jp <mailto:ryoma at math.akita-u.ac.jp>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180201/ee7cbadf/attachment.html>
More information about the Logic-ml
mailing list