[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/

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

宮部

-- 
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