[logic-ml] ラムダ計算と論理の早春セミナー

[Naosuke MATSUDA]

みなさま

神奈川大学の松田と申します．

3月8日-11日に草津セミナーハウスで，
ラムダ計算と論理の早春セミナーを開催いたします．
ラムダ計算・論理およびその周辺の話題を広く募集しています．

本セミナーでは，講演枠や講演時間を事前に固定せず，
当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．
議論し成果を挙げる場・学生の簡単な発表の場など，
様々に活用していただければ幸いです．

詳細は下記のWebページをご確認ください．
https://sites.google.com/view/lls2019/home

みなさまのご参加をお待ちしております．

-- 
Naosuke Matsuda,
Department of Information Sciences
Kanagawa University
Tsuchiya 2946
Hiratsuka-shi, Kanagawa
259-1293, Japan