『ラムダ計算と論理の早春セミナー』のご案内

日程：2013年3月12日(火) 午後5時から3月16日(土) 正午まで

場所：国立大学草津セミナーハウス
　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737

詳細：http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/

興味をお持ちのみなさまのご参加をお待ちしております．
-----------
群馬大学　藤田憲悦