[logic-ml] 「ラムダ計算と論理の早春セミナー」開催のお知らせ(3/22~3/25 at TUFS田沢湖ロッジ)
"新屋良磨(秋田大)"
ryoma at math.akita-u.ac.jp
Fri Mar 2 17:42:49 JST 2018
皆様,
秋田大の新屋です.
下記の要項で開催する「ラムダ計算と論理の早春セミナー」ですが,まだ田沢湖ロッジでの宿泊人数に
余裕があるため,宿泊申し込みを3月9日(金)まで延長したいと思います.
参加のご検討のほど,どうぞよろしくお願いします.
秋田大学 数理科学コース 新屋良磨
> On Feb 1, 2018, at 14:41, Ryoma Sin'ya <ryoma at math.akita-u.ac.jp> wrote:
>
> 皆様,
>
> 秋田大の新屋です.
>
> 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/>
>
> どうぞ,よろしくお願いします.
>
> 秋田大学 数理科学コース 新屋良磨
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20180302/c724fb61/attachment.html>
More information about the Logic-ml
mailing list