数学基礎論サマースクール

数学基礎論の各分野における基本的概念や最近の結果を広く紹介するために,サマースクールを毎年夏に開催しています。

2023年度数学基礎論サマースクール

テーマ:計算論
開催日程:2023年9月11日(月)〜 2023年9月15日(金)
開催場所:明治大学駿河台キャンパス
開催委員:宮部賢志(明治大学)・木原貴行(名古屋大学)
連絡先:宮部賢志 research@kenshi.miyabe.name
ホームページ


過去のテーマ

2022年 モデル理論
2021年 古典論理に限らない論理(非古典論理)
2020年 新型コロナウィルス感染拡大の影響で延期
2019年 集合論(選択公理と連続体仮説)
2018年 証明論(特に算術の無矛盾性証明)
2017年 計算理論
2016年 モデル理論
2015年 非古典論理(様相論理)
2014年 集合論(特に強制法(forcing)理論)
2013年 証明と構成
2012年 計算可能性とランダムネス
2011年 モデル理論
2010年 超準解析の基礎と応用
2009年 非古典論理の代数的セマンティクス
2008年 Asian Logic Conference (神戸)のため開催せず
2007年 集合論のブール値モデルと強制法
2006年 証明論
2005年 モデル理論
2004年 計算量
2003年 非古典論理
2002年 実数の集合論