10 Dec
2019
10 Dec
'19
10:01 a.m.
みなさま
神奈川大学の松田と申します．
今年度も「ラムダ計算と論理の早春セミナー」を， 下記要領で開催することになりました． 場所：草津セミナーハウス 日程：2020年3月7日(土)-11日(水) 詳細: https://sites.google.com/view/lls2020/home
つきまして，ラムダ計算・論理およびその周辺の話題を広く募集しています．
本セミナーでは，講演枠や講演時間を事前に固定せず， 当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています． 議論し成果を挙げる場・学生の簡単な発表の場など， さまざまな用途で利用していただければ幸いです．
なお，今年度で草津セミナーハウスが閉鎖とのことで， 草津セミナーハウスでの開催は今回が最後になります． 多くの皆様のご参加をお待ちしております．
-- 神奈川大学情報科学科 松田直祐