皆様 (重複してお受け取りの折はご寛恕ください)
首都大学東京の鈴木登志雄です。 2017年度 数学基礎論サマースクールの案内第2報です。 今年度のテーマは「計算理論」です。
(NEW)時間割・最寄駅をウェブに掲載しました。 toshio-suzuki-logic.jp/meeting/summer2017.html
日時: 8月5日(土)から7日(月) 初日午後、2日目以降午前・午後
会場: 明治大学駿河台キャンパス リバティタワー1073 http://www.meiji.ac.jp/koho/campus_guide/suruga/access.html
世話人: 鈴木登志雄(首都大学東京),隈部正博(放送大学), 河村彰星(東京大学),宮部賢志(明治大学)
参加費:無料
講師・テーマ: 河村彰星「はじめての計算可能性」, 宮部賢志「チューリング次数」, 隈部正博「ジェネリック次数」, 鈴木登志雄「HFデルタ1関係」
近い日程の集会: サマースクールの翌日から,SLACS 2017(記号論理と情報科学) が開催されます(千葉工業大学)。
http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html