[logic-ml] The 48th MLG Meeting: Program

[Katsuhiko Sano]

第48回 MLG 数理論理学研究集会のご案内
（重複してお受け取りの際はご容赦ください。）

北陸先端科学技術大学院大学の佐野勝彦です。
2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催します。

講演・宿泊の申し込みは締め切りましたが，参加することは可能です。
その場合，事前の申し込みは不要ですが，参加費（会場代）2,500円をいただきます。

どうぞよろしくお願いいたします。

=========================================
第48回 MLG 数理論理学研究集会開催要領
=========================================
期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日)
場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）
〒922-0126 石川県加賀市山中温泉河鹿町ホ100, URL : http://www.daiwaresort.jp/kajikasou/
ホームページ：https://sites.google.com/site/mlg2013kaga/

講演プログラム：

12/6 (金)

1440 -- 1450 開会
1450 -- 1530 佐野勝彦(北陸先端科学技術大学院大学) Axiomatizing Facebook Logic Via Tree
Sequent Calculus
1540 -- 1620 仲川聡子(東京工業大学情報理工学研究科) 三項関係に従う可能世界意味論を持った様相論理について
1630 -- 1710 佐々木克巳(南山大学) S4におけるS4モデルでないイグザクトモデル

12/7 (土)

0925 -- 0930 事務連絡
0930 -- 1010 関隆宏(新潟大学) A remark on metacomplete relevant modal logics
1020 -- 1100 丸山善宏 (Oxford University) Generalised Topos Semantics for
Higher Order Substructural Logic
1110 -- 1150 小野寛晰 Uniform interpolation in substructural logics
without contraction rules

1330 -- 1410 Jonni Virtema (University of Tampere and JAIST) Modal team logic
1420 -- 1500 佐藤 雅彦(京都大学名誉教授) Simple type theory の weakening rule について
1510 -- 1550 宮崎裕(大阪経済法科大学) Hallden completeness and Craig
Interpolation Property in NExt(KTB)
1600 -- 1640 千谷 慧子 Global Set Theory

12/8 (日)

0925 -- 0930 事務連絡
0930 -- 1010 山川 郁加(千葉大学 理学研究科) λρ計算の述語論理への拡張
1020 -- 1100 井澤昇平(東北大学大学院理学研究科) 直積による1ソート化
1110 -- 1150 横山啓太(北陸先端科学技術大学院大学) Fast growing functions and Ramsey's theorem
1150 -- 1200 閉会

---
MLG48 世話人
佐野勝彦（北陸先端科学技術大学院大学）
E-mail : mlg.logic.japan at gmail.com