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

[Kazushige TERUI]

みなさま

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
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/