7 Sep
2012
7 Sep
'12
7:41 a.m.
研究集会案内（複数お受け取りの場合はご容赦ください）
首都大学東京の鈴木登志雄です。 以下の研究集会に多数の講演・参加申込みをありがとうございます。 参加申込みをされていない方の当日参加も歓迎しますので、お気軽にお越しください。
------------------------------------------------------------------
ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」
期間 ２０１２年９月１２日（水）午後から１４日（金）午後 場所 京都大学 数理解析研究所４２０号室
http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html
------------------------------------------------------------------
講演プログラムは上記サイトに掲載してあります。
--
鈴木登志雄
首都大学東京
理工学研究科 数理情報科学専攻
toshio-suzuki [atmark] tmu.ac.jp