[logic-ml] 2016年数学基礎論サマースクールのご案内
Hirotaka Kikyo
kikyo at kobe-u.ac.jp
Wed Aug 3 19:14:44 JST 2016
皆様
数学基礎論サマースクールを2016年9月5日(月)から9月7日(水)まで、
早稲田大学西早稲田キャンパスで開催する予定です。
初日は午前中から、最終日も午後まで行う予定です。
今年のテーマはモデル理論です。初日の最初の方にモデル理論の基本
事項を解説するつもりです。
詳しくは次のサイトでお知らせします。
https://sites.google.com/site/logicsummerschool2016/
どうぞ、よろしくお願い致します。
世話人
桔梗宏孝
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160803/bf064849/attachment.html>
More information about the Logic-ml
mailing list