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

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

2017年のサマースクール予定

テーマ:計算理論

幹事:鈴木登志雄(首都大学東京)


過去のテーマ

2016年 モデル理論
2015年 非古典論理(様相論理)
2014年 集合論(特に強制法(forcing)理論)
2013年 証明と構成
2012年 計算可能性とランダムネス
2011年 モデル理論
2010年 超準解析の基礎と応用
2009年 非古典論理の代数的セマンティクス
2008年 Asian Logic Conference (神戸)のため開催せず
2007年 集合論のブール値モデルと強制法
2006年 証明論
2005年 モデル理論
2004年 計算量
2003年 非古典論理
2002年 実数の集合論