数学基礎論サマースクール 2009は終了しました。 講演資料を掲載しました。(10 月 23 日) テーマ:非古典論理の代数的セマンティクス 更新日:2009年10月23日 数学基礎論サマースクールは年一回夏に開催されています. 毎年テーマを決めて,その道の専門家の方を講師としてお招きして,入門的な内容から最新の話題までさまざまな講義をしていただいています. 数学基礎論サマースクール 2009 は、非古典論理の代数的セマンティクスをテーマに以下の要領で開催します。 実施計画 テーマ 非古典論理の代数的セマンティクス 日時 2009 年 8 月 10 日 (月) 〜 8 月 12 日 (水) 会場 東京工業大学 大岡山キャンパス 西8号館(E棟) W833講義室 会費 無料 世話人 志村立矢(日本大学)、鈴木信行(静岡大学)、鹿島亮(東京工業大学) 講師、講演題目、プログラム等の情報は、確定