[logic-ml] 研究集会案内：証明論と複雑性

[Suzuki Toshio]

　研究集会案内（複数お受け取りの場合はご容赦ください）

首都大学東京の鈴木登志雄です。
以下の研究集会に多数の講演・参加申込みをありがとうございます。
参加申込みをされていない方の当日参加も歓迎しますので、お気軽にお越しください。

------------------------------------------------------------------

ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」

期間　２０１２年９月１２日（水）午後から１４日（金）午後
場所　京都大学 数理解析研究所４２０号室

    http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html

------------------------------------------------------------------

講演プログラムは上記サイトに掲載してあります。

-- 
鈴木登志雄
首都大学東京
理工学研究科 数理情報科学専攻
toshio-suzuki [atmark] tmu.ac.jp