2016年数学基礎論サマースクールのご案内 - Logic-ml - fos.kuis.kyoto-u.ac.jp

3 Aug 2016


      皆様
数学基礎論サマースクールを2016年９月５日（月）から９月７日（水）まで、
早稲田大学西早稲田キャンパスで開催する予定です。
初日は午前中から、最終日も午後まで行う予定です。
今年のテーマはモデル理論です。初日の最初の方にモデル理論の基本
事項を解説するつもりです。
詳しくは次のサイトでお知らせします。
https://sites.google.com/site/logicsummerschool2016/
どうぞ、よろしくお願い致します。
世話人
桔梗宏孝