3月22日(木)〜3月25日(日)の期間で田沢湖にて，恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました．
過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」 に関してなごやかな雰囲気で議論できる場としたいと思っております．
本セミナーは成果発表の場というより成果を挙げる場となっており， 講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画をしてもらうようになっています．
色々な方と交流を持つためにも丁度よいと思いますので， 形式等はあまり気にせず，気軽に参加いただけますと幸いです．
会場詳細や参加申し込みの方法は以下のWebページを御覧ください．
どうぞ，よろしくお願いします．