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

[Toshio Suzuki]

皆様

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

日時：
８月５日（土）から７日（月）
初日午後、２日目以降午前・午後（時間割は後日、ウェブに掲載）

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

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

参加費：無料

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

ウェブサイト：
toshio-suzuki-logic.jp/meeting/summer2017.html

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

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