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

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

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

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

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

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

問い合わせ先 菊池 健太郎 （東北大学電気通信研究所） [email protected]

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

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分)