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