みなさま

今年度の数学基礎論サマースクールのご案内をさせていただきます。 今年のテーマは「証明と構成」です。 基礎論のみならず、計算機科学や数学の哲学など幅広い分野のみなさまの 参加をお待ちしております。 詳細については下記ホームページをご参照ください。

なお、サマースクールに引き続き8月8日−9日には証明論研究集会を 開催する予定です。こちらについては追ってご案内させていただきます。

身近に学生さんや興味を持たれそうな方がいらっしゃいましたら ご転送いただければ幸いです。 どうぞよろしくお願いします。

照井一成

-------------------------------------------------- 数学基礎論サマースクール 2013 ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/school2013.html

・テーマ：証明と構成 ・日時： 2013年8月5日（月）午後 -- 8月7日（水）午後 ・会場： 慶応義塾大学　三田キャンパス ・参加費： 無料 ・申し込み：懇親会（8月6日）の参加・不参加のみお知らせください。 ・講師 　新井敏康（千葉大学） 　勝股審也（京都大学） 　照井一成（京都大学） 　根元多佳子（JAIST）

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