[logic-ml] Kusatsu_Seminar_2017

[Naosuke MATSUDA]

みなさま

神奈川大学の松田と申します．
毎年草津セミナーハウスで開催されている，
ラムダ計算と論理の早春セミナーを，
今年も開催することになりましたので連絡させていただきます．

日程：2017年3月16日-3月20日
場所：国立大学草津セミナーハウス

詳細等は，
http://www.geocities.jp/naosuke_not_good/event/lls_spring_2017.html
にあります．

研究打ち合わせ・学生の発表練習の場など，
様々な用途でお使いいただければと思います．
質問等ございましたら，
松田（神奈川大学）までお気軽にお問い合わせください．

-- 
Naosuke Matsuda,
Dept. of Information Sciences
Kanagawa University
2946, Tsuchiya, Hiratsuka-shi,
Kanagawa, 259-1293, JAPAN
matsuda.naosuke at gmail.com
-- 
------------------------------
Naosuke Matsuda,
Dept. of Information Sciences
Kanagawa University
Tsuchiya 2946,
Hiratsuka-shi, Kanagawa
259-1293, Japan