[logic-ml] 証明論研究集会（８月８日−９日）

[Kazushige TERUI]

みなさま

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

日時：2013年8月8日（木）午前 − 9日（金）午後
　　　　※ただし発表件数によっては10日まで延長の可能性があります。
　　　　延長の場合はなるべく早く通知します。
　　　　なお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月11日までに下記を記入の上、terui at kurims.kyoto-u.ac.jpにご送付ください。

氏名

所属

身分（学年）

メールアドレス

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

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

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


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