[logic-ml] 「ラムダ計算と論理の早春セミナー」開催のお知らせ(3/22~3/25 at TUFS田沢湖ロッジ)

[Ryoma Sin'ya]

皆様，

秋田大の新屋です．

3月22日(木)〜3月25日(日)の期間で田沢湖にて，恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました． 

過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」 に関してなごやかな雰囲気で議論できる場としたいと思っております．
本セミナーは成果発表の場というより成果を挙げる場となっており， 講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画をしてもらうようになっています． 
色々な方と交流を持つためにも丁度よいと思いますので， 形式等はあまり気にせず，気軽に参加いただけますと幸いです． 

会場詳細や参加申し込みの方法は以下のWebページを御覧ください．
http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/ <http://www.math.akita-u.ac.jp/~ryoma/workshop/lls_spring_2018/>

どうぞ，よろしくお願いします．

秋田大学 数理科学コース 新屋良磨
(お問い合わせは lls_spring_2018 at googlegroups.com <mailto:lls_spring_2018 at googlegroups.com> まで)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180201/18be21ef/attachment-0001.html>