2022年度数学基礎論サマースクール
のテーマはモデル理論です．
日程：2022年9月7日（水）〜 2022年9月9日（金）
開催方式：オンライン（Zoom）
開催委員：池田宏一郎（法政大学），桔梗宏孝（神戸大学），竹内耕太（筑波大学），米田郁生（徳山高専）
参加申し込み先：米田郁生 yoneda@tokuyama.ac.jp
| 2021年 | 古典論理に限らない論理（非古典論理） |
| 2020年 | 新型コロナウィルス感染拡大の影響で延期 |
| 2019年 | 集合論（選択公理と連続体仮説） |
| 2018年 | 証明論（特に算術の無矛盾性証明） |
| 2017年 | 計算理論 |
| 2016年 | モデル理論 |
| 2015年 | 非古典論理（様相論理） |
| 2014年 | 集合論（特に強制法(forcing)理論） |
| 2013年 | 証明と構成 |
| 2012年 | 計算可能性とランダムネス |
| 2011年 | モデル理論 |
| 2010年 | 超準解析の基礎と応用 |
| 2009年 | 非古典論理の代数的セマンティクス |
| 2008年 | Asian Logic Conference (神戸)のため開催せず |
| 2007年 | 集合論のブール値モデルと強制法 |
| 2006年 | 証明論 |
| 2005年 | モデル理論 |
| 2004年 | 計算量 |
| 2003年 | 非古典論理 |
| 2002年 | 実数の集合論 |