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

[Makoto Kikuchi]

数学基礎論サマースクール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日夜に神戸大学内で懇親会を開催する予定です．

【世話人】神戸大学 大学院システム情報学研究科 菊池誠，酒井拓史
【連絡先】菊池誠 mkikuchi at kobe-u.ac.jp