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