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

[Takahiro Seki]

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

　新潟大学の関です。
　2012年度MLG数理論理学研究集会（第47回）を下記の要領で開催します。

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

=========================================
　第47回 MLG 数理論理学研究集会開催要領
=========================================
　日時: 2012 年 11 月 16 日(金) 13:30 〜 11 月 18 日(日) 12:10
　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）
　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574
　　　　URL : http://www.kkryuzawa.com/
　MLG47ホームページ：　http://math2.ed.niigata-u.ac.jp/~seki/MLG47/

　講演プログラム：

○　11月16日（金）
　13:30〜13:40　開会・事務連絡
　13:40〜14:20　関　隆宏（新潟大学）
　　A Genzenization of some involutive non-associative substructural
　  logics
　14:20〜15:00　山川郁加（千葉大学）
　　The system of CLλ and a method to calculate β-normal forms
　　without β-reductions
　15:10〜15:50　河野友亮（東京工業大学）
　　中間論理CDの補間定理について
　15:50〜16:30　プライニング・ノルベルト（北陸先端科学技術大学院大学）
　　A decidable subclass of monadic Goedel logics for medical reasoning

○　11月17日（土）
　 9:05〜 9:10　事務連絡
　 9:10〜 9:50　Minghui Ma（Southwest University）
　　Bull's logics in NExt(S4) revisited
 　9:50〜10:30　佐野勝彦（北陸先端科学技術大学院大学）
　　Actuality in coalgebraic modal logic
　10:40〜11:20　本浦庄太（京都大学）
　　On the semantic meaning of reduction axioms in public announcement
　　logic
　11:20〜12:00　佐々木克巳（南山大学）
　　シークエントによる実証明の分析

　13:00〜13:40　金子　守（筑波大学）
　　Infinite regress from prediction-decision making in games:
    Playability - decidability/undecidability
　13:40〜14:20　松尾亮太（名古屋大学）
　　与えられた論理式が戦略的かを決定するアルゴリズムの計算量
　14:30〜15:10　照井一成（京都大学）
　　Herbrand's theorem via hypercanonical extensions
　15:10〜15:50　Conrad Asmus（北陸先端科学技術大学院大学）
　　Henkin dependence logic
　15:50〜16:30　佐藤雅彦（京都大学）
　　Essence of de Bruijn index

○　11月18日（日）
　 9:05〜 9:10　事務連絡
　 9:10〜 9:50　Michele Basaldella（北陸先端科学技術大学院大学）
　　An interactive semantics for classical arithmetic
　 9:50〜10:30　横山啓太（東京工業大学）
　　Reverse mathematics and second-order categoricity
　10:40〜11:20　松田直祐（千葉大学）
　　古典論理と直観主義論理の汎用性
　11:20〜12:00　鈴木信行（静岡大学）
　　Ono's problem N52
　12:00〜12:10　事務連絡・閉会

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