On Feb 1, 2018, at 15:15, Ryoma Sin'ya <[email protected]> wrote:

(重複で受け取られた方はご容赦ください)

皆様，

秋田大の新屋です．

以下の要項で3月末に秋田大にてワークショップを開催いたします．

参加申し込みなどは不要ですので，どうぞお気軽にご参加ください．

期間：

3月26日のお昼後から3月29日のお昼前まで

会場：

〒010-8502 秋田市手形学園町1番1号

秋田大学 手形キャンパス 総合研究棟 1階講義室

(学内地図 http://www.akita-u.ac.jp/honbu/info/magazine/outline/pdf/2011/46.pdf )

講演予定者リスト(敬称略，決定順)：

　　根元 多佳子 (JAIST)，石原 哉 (JAIST)，木原 貴行 (名古屋大)，鹿島 亮 (東工大)，照井 一成  (京大)，

　　薄葉 季路 (早稲田大)，坪井 明人 (筑波大)，金沢 誠 (NII)，中野 圭介 (電通大)

講演予定者リストは今後更新される可能性があります．また，若干名ですが学生さんにも講演を依頼しているところです．

2月中旬にワークショップのWebページと仮プログラムを公開したいと思います．

また，本ワークショップの前日(3/22~3/25)までには秋田県仙北市田沢湖にて「ラムダ計算と論理の早春セミナー」も開催されますので，

そちらへのご参加もご一考ください．

以上，どうぞよろしくお願いします．

秋田大学 数理科学コース 新屋良磨 [email protected]

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