皆様, 09月15日〜19日に「ラムダ計算と論理の晩夏セミナー」が予定されていますの で,御案内させて頂きます.詳細はHPが http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/index2.html にありますので御確認下さい.今回の宿泊・参加に関する連絡は倉田(法政大 学)まで頂けたらと思います.お気軽に参加を検討頂けますと幸いです. よろしくお願いいたします. -- Toshihiko Kurata, Hosei University e-mail: kurata at hosei.ac.jp