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

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

2016年のサマースクール(詳細はここをクリック)

テーマ:モデル理論

期間:2016年9月5日(月)から7日(水)

場所:早稲田大学 西早稲田キャンパス52号館101教室

幹事:桔梗宏孝(神戸大学)


過去のテーマ

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