[logic-ml] SLACS 2010 開催のご案内

[Yoshihito Toyama]

 以下の日程で SLACS 2010 - 記号論理と情報科学研究集会を開催いたします。
 ご興味のある方はご参加ください．

 開催日：2010年11月1日(月)午後 〜 11月2日(火)午後

 場所：東北大学（片平キャンパス 電気通信研究所 2号館 4階大会議室)

 懇親会：11月1日夜に懇親会を予定しています．

 参加費，参加申込はともに不要です．

 詳細につきましては，
 http://www.nue.riec.tohoku.ac.jp/slacs2010/
 をご参照ください．

 問い合わせ先
  菊池 健太郎 （東北大学電気通信研究所）
  kxe-slacs2010 at memoad.jp


------------------------------------------------------

SLACS 2010 - プログラム

11月1日（月）

13:50-14:00 オープニング＋連絡など

14:00-15:00
　　蓮尾 一郎 （京都大学・JSTさきがけ） 
   「Theory of Coalgebra: Towards Mathematics of Systems」 梗概 (60分)

15:00-15:20 休憩

15:20-16:50
　　星野 直彦 （京都大学） 
    「A modified GoI interpretation for 
      a linear functional programming language」 (45分)

　　石田 和 （京都大学） 「線形論理における非可換モデル」 (45分)

16:50-17:10 休憩

17:10-17:30
　　山西 康世 （奈良女子大学） 「MUAでの分類予測学習機能の実装」 (20分)

18:30- 懇親会

11月2日（火）

10:00-11:15
　　中澤 巧爾 （京都大学） 
   「Monadic translation of classical sequent calculus」 (30分)

　　鴨 浩靖 （奈良女子大学） 
    「Malfattiの三角形の大きさを数式処理で計算する」 梗概 (45分)

11:15-11:30 休憩

11:30-12:15
　　宮部 賢志 （京都大学） 
   「Frequency and belief are probability」 梗概 (45分)

12:15-13:30 昼食・休憩

13:30-14:10
　　小島 健介 （京都大学） 
    「Neighborhood Semantics for Intuitionistic Monotone Modal Logic」 (40分)

14:10-14:30 休憩

14:30-16:00
　　佐々木 克巳 （南山大学） 
    「S4を含む正規様相論理における、標準形の論理式とexactモデル」 梗概 (60分)

　　佐々木 克巳 （南山大学） 「様相論理S4.1とS4.2」 梗概 (30分)