以下の日程で 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分)