[logic-ml] 数学基礎論サマースクール（８月５日−７日）

[Kazushige TERUI]

みなさま

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

なお、サマースクールに引き続き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
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/