[kisoron-ml] ラムダ計算と論理の早春セミナー3/12--3/16

[Fujita Kenetsu]

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

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

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

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

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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/kisoron-ml/attachments/20130222/461399fb/attachment.html>