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

[Makoto Kikuchi]

数学基礎論サマースクール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」として，mkikuchi at kobe-u.ac.jp 宛にお送りください．
・氏名（ふりがな）：
・所属：
・懇親会出欠：出席／欠席
申込〆切：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円（予定）

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