[logic-ml] ＲＩＭＳ研究集会「証明論と複雑性（Proof theory and complexity）」・暫定プログラム公開

研究集会案内・暫定プログラム公開　（複数お受け取りの場合はご容赦ください）

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

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

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

期間　２０１２年９月１２日（水）午後から１４日（金）午後 場所　数理解析研究所４２０号室（収容人数１５０名）

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

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

さて、暫定プログラム（７月２６日版）を公開しましたので取り急ぎお知らせいたします。

http://www.ac.auone-net.jp/~bellp/meeting/program0726.pdf

講演される方へ：ご意見や情報の追加がございましたら７月３０日（月）午前中までに鈴木

toshio-suzuki [atmark] tmu.ac.jp

へご連絡いただけると助かります。