[logic-ml] 証明論研究集会2013（教室変更、プログラム、講演追加募集）

みなさま

8月8日−9日に慶応大学三田キャンパスで予定されている証明論研究集会に ついて再度ご案内させて頂きます。

・教室が変更になりましたのでご注意ください。 　（慶応大学三田キャンパス 南校舎475号室） 　　http://www.keio.ac.jp/ja/access/mita.html

・プログラム（仮）をウェブページに掲載しました。

・まだスロットに余裕がありますので、追加で講演希望を受け付けたいと思います。 　（証明論に限らず、計算機科学や基礎論他分野等の周辺分野を含む） 　講演の希望がありましたら、世話人までご相談ください。

・詳細は 　http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 　をご覧ください。

照井

------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/