[logic-ml] ワークショップのお知らせ(3/26~3/29@秋田大)

[Ryoma Sin'ya]

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

秋田大の新屋です．

3月26日(月)~3月29日(木)に秋田大で開催する研究集会のWebページとプログラムを作成しました．
参加のご検討のほど，どうぞよろしくお願いします．

Webページ： http://www.math.akita-u.ac.jp/~ryoma/workshop/tegata_l4_2018/ <http://www.math.akita-u.ac.jp/~ryoma/workshop/tegata_l4_2018/>
プログラム


＊プログラムは概ね決定版ですが，今後多少変更される可能性があります．
＊変更があった場合はWebのプログラムを更新しますので，Webページをご確認いただけると幸いです．

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

> On Feb 1, 2018, at 15:15, Ryoma Sin'ya <ryoma at math.akita-u.ac.jp> 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 <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>_______________________________________________
> 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/20180226/1d0fc1ec/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: program.pdf
Type: application/pdf
Size: 154872 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180226/1d0fc1ec/attachment-0001.pdf>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180226/1d0fc1ec/attachment-0003.html>