数学基礎論サマースクール2015のご案内 参加申込〆切：2015年7月31日（金）
以下の要領で数学基礎論サマースクール2015を開催します． ご参加希望の方は下記の要領でお申込下さい．皆様のご参加を心よりお待ちしています．
【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義． また，様相論理と他分野との関係や発展的内容についての特論．
【日時】2015年8月18日（火）13:30 ～ 21日（金）15:00 【場所】神戸大学六甲台第2キャンパス内 工学部教室棟LR501教室（戎記念ホール） 【住所】〒657-8501神戸市灘区六甲台町1-1 【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html 【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専）， 黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）
【参加費】無料 【参加申込】 以下の内容を e-mail で件名「ss2015」として，[email protected] 宛にお送りください． ・氏名（ふりがな）： ・所属： ・懇親会出欠：出席／欠席 申込〆切：2015年7月31日（金）
【内容】
〈講義〉（各3コマ） 1. 様相論理入門（佐野） 2. 証明可能性論理（倉橋） 3. 強制法と様相論理（薄葉） 4. 真理と様相（黒川）
〈特論〉（各1コマ） 1. 認識論理のゲーム論的意思決定への応用（金子） 2. 計算機科学と様相論理（佐藤） 3. 公理的集合論と様相論理（渕野）
【懇親会】19日夜に神戸大学内で懇親会を開催します． 日時：2015年8月19日（水）午後7時から 会場：和風レストランさくら http://www.kucoop.jp/info/shop-belbox.html 場所：神戸大学六甲台第1キャンパス内 BEL BOX 3階 会費：3,500円（予定）
【世話人】神戸大学 大学院システム情報学研究科 菊池誠，酒井拓史 【連絡先】菊池誠 [email protected]