皆様

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

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

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

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

参加費：無料

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

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

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