みなさま
例年行われている証明論を中心とした研究集会についてご案内させていただきます。 昨年度の様子については 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@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@kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/