[logic-ml] 締切延長：証明論研究集会（８月８日−９日）

[Kazushige TERUI]

みなさま

証明論（および関連分野の）研究集会についてですが、講演数不足のため
締め切りを７月２２日（月）まで延長させていただきます。
証明論および周辺研究分野のみなさま、どうかぜひ講演をご検討ください。

照井

---
例年行われている証明論を中心とした研究集会についてご案内させていただきます。
昨年度の様子については
http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html
をご覧ください。今年度は下記の要領で開催します。

日時：2013年8月8日（木）午前 − 9日（金）午後
　　　　なお5日（月）−7日（水）には 数学基礎論サマースクールが開催されます。

会場：慶応義塾大学 三田キャンパス東館6階G-Sec Lab
　　　http://www1.gsec.keio.ac.jp/text/about_access.php

世話人：照井一成（京都大学）

ホームページ：http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html


講演をご希望の方は7月22日までに下記を記入の上、terui at kurims.kyoto-u.ac.jpにご送付ください。

氏名

所属

身分（学年）

メールアドレス

講演タイトル（未定でも可）

講演希望時間：長め（50分〜）・短め（30分）
（※必ずしもご希望に沿えない場合があることをご了承ください。）

講演日時：不都合な日時がありましたらお知らせください。

------------------------------------------
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/