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

更新年月日:平成22年7月29日


数学基礎論サマースクールは年一回夏に開催されています. 毎年テーマを決めて,その道の専門家の方を講師としてお招きして,入門的な内容から最新の話題まで様々な講義をして頂いております. 今年のテーマは「証明論」です. なお,この研究集会は科学研究費補助金(若手研究(B)研究代表者 山崎武氏,基盤研究(C)研究代表者 池田宏一郎氏)の補助を受けて開かれます.


開催概要


講師陣と講義題目および講義概要(50音順,敬称略)


プログラム

若干変更がありました.(6/25)

LINK