RIMS研究集会 証明論と複雑性

(PROOF THEORY AND COMPLEXITY 2012)

9月12日(水)午後から14日(金)午後

京都大学数理解析研究所 420号室

代表者 首都大学東京 理工学研究科 鈴木登志雄

多数のご参加ありがとうございました。講究録原稿のしめきりは12月14日です(くわしくはここをクリック)。

2012/11/22更新



京都大学数理解析研究所 研究集会リスト

鈴木の日本語版ウェブサイト