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

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

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

テーマ:証明論(特に算術の無矛盾性証明)

期間:2018年9月3日(月)から6日(木)

場所:神戸大学

幹事:菊池誠(神戸大)

サマースクールのウェブサイト


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

テーマ:集合論

期間,場所:未定

幹事:依岡輝幸(静岡大)


過去のテーマ

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