Kusatsu_Seminar_2017 - Logic-ml - fos.kuis.kyoto-u.ac.jp

29 Jan 2017


      みなさま
神奈川大学の松田と申します．
毎年草津セミナーハウスで開催されている，
ラムダ計算と論理の早春セミナーを，
今年も開催することになりましたので連絡させていただきます．
日程：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
[email protected]
-- 
------------------------------
Naosuke Matsuda,
Dept. of Information Sciences
Kanagawa University
Tsuchiya 2946,
Hiratsuka-shi, Kanagawa
259-1293, Japan