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

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

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

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

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