[kisoron-ml] 研究集会案内:証明論と複雑性
Suzuki Toshio
bell_opu at yahoo.co.jp
Fri Sep 7 16:41:07 JST 2012
研究集会案内(複数お受け取りの場合はご容赦ください)
首都大学東京の鈴木登志雄です。
以下の研究集会に多数の講演・参加申込みをありがとうございます。
参加申込みをされていない方の当日参加も歓迎しますので、お気軽にお越しください。
------------------------------------------------------------------
RIMS研究集会「証明論と複雑性(Proof theory and complexity)」
期間 2012年9月12日(水)午後から14日(金)午後
場所 京都大学 数理解析研究所420号室
http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html
------------------------------------------------------------------
講演プログラムは上記サイトに掲載してあります。
--
鈴木登志雄
首都大学東京
理工学研究科 数理情報科学専攻
toshio-suzuki [atmark] tmu.ac.jp
More information about the Kisoron-ml
mailing list