[kisoron-ml] 2017年度 数学基礎論サマースクール案内第２報

[Toshio Suzuki]

皆様
（重複してお受け取りの折はご寛恕ください）

首都大学東京の鈴木登志雄です。
2017年度 数学基礎論サマースクールの案内第２報です。
今年度のテーマは「計算理論」です。

（NEW）時間割・最寄駅をウェブに掲載しました。
toshio-suzuki-logic.jp/meeting/summer2017.html

日時：
８月５日（土）から７日（月）
初日午後、２日目以降午前・午後

会場：
明治大学駿河台キャンパス　リバティタワー1073
http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html

世話人：
鈴木登志雄（首都大学東京），隈部正博（放送大学），
河村彰星（東京大学），宮部賢志（明治大学）

参加費：無料

講師・テーマ：
河村彰星「はじめての計算可能性」，
宮部賢志「チューリング次数」，
隈部正博「ジェネリック次数」，
鈴木登志雄「ＨＦデルタ１関係」

近い日程の集会：
サマースクールの翌日から，SLACS 2017（記号論理と情報科学）
が開催されます（千葉工業大学）。

http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html

-- 
鈴木登志雄
首都大学東京
理工学研究科 数理情報科学専攻
toshio-suzuki at tmu.ac.jp