[logic-ml] 数学基礎論サマースクール2015

数学基礎論サマースクール2015のご案内

以下の要領で数学基礎論サマースクール2015を開催します． 7月初旬に参加申し込みの案内をお送りします．皆様のご参加を心よりお待ちしています．

【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義． 　また，様相論理と他分野との関係や発展的内容についての特論．

【日時】2015年8月18日（火）13:30 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内 工学部教室棟LR501教室（戎記念ホール） 【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専）， 　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）

【内容】

〈講義〉（各3コマ） 1. 様相論理入門（佐野） 2. 証明可能性論理（倉橋） 3. 強制法と様相論理（薄葉） 4. 真理と様相（黒川）

〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）

【懇親会】18日夜に神戸大学内で懇親会を開催する予定です．

【世話人】神戸大学 大学院システム情報学研究科 菊池誠，酒井拓史 【連絡先】菊池誠 [email protected]