Kusatsu Seminar 2016 - Kisoron-ml - fos.kuis.kyoto-u.ac.jp

3 Feb 2016


      皆様，
ラムダ計算と論理のセミナーが計画されていますので御案内をさせて頂きます．
春休みに研究上の議論を進めたいと考えている個人・グループの皆様，気軽に
この機会を御活用頂けたらと思います．
期間：2016年3月19日ー23日
場所：国立大学草津セミナーハウス
申込み等の詳細情報は
http://www.i.hosei.ac.jp/~kurata/2016LLS/
にありますので御覧下さい．よろしくお願いいたします．
-- 
Toshihiko Kurata, Hosei University
e-mail: [email protected]