[logic-ml] 数学基礎論サマースクール2023のお知らせ(第二報)

[Kenshi Miyabe]

関係者の皆様，

以下の要領で数学基礎論サマースクール2023を開催いたします．
周知および多くの方にご出席いただけますと幸いです．

テーマ：連続体上の計算論

日時：2023年9月11日(月)〜15日(金)
場所：明治大学駿河台キャンパス
幹事：宮部賢志（明治大学），木原貴行（名古屋大学）
連絡先：宮部賢志，research at kenshi.miyabe.name

講師および内容：
鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層)
宮部賢志：実数の計算可能性
Holger Thies：実関数の計算可能性・計算量
Matthew de Brecht：計算可能位相空間論
木原貴行：実現可能性理論／計算可能数学の圏
すべての講演は日本語で行います．

詳細は以下のページで随時案内します．
http://kenshi.miyabe.name/kisoron_school_2023/

スケジュールを公開しました．
内容の詳細を加えました．
人数把握のために参加登録をお願いします．参加登録は必須ではありません．

懇親会の案内も加えました．
日時：9月14日(木)の夜
場所：スカイラウンジ暁（リバティタワー17階）
https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html
立食の予定です．
時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．
登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．
最終締切：9月8日(金)昼12:00

どうぞよろしくおねがいします．

宮部

-- 
Kenshi Miyabe
email (research): research at kenshi.miyabe.name
email (other): miyabe at meiji.ac.jp
Associate Professor
Department of Mathematics
School of Science and Technology
Meiji University
Tel: +81-44-934-7460