[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのお知らせ

東工大で定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を開催します。
詳細はお問い合わせください。

9月12日(木) 
12:30 塚田武志（東大）プログラム検証と不動点算術
13:30 福田陽介（京大）直観主義様相論理S4の線型論理に基づく分解
14:30 遠藤進平（アムステルダム大）TBA
15:40 本浦庄太（NEC）On Logic and Computation of Probabilities of Propositional Formulae
16:40 小松弘佳（慶應大）相対化における対角線論法
17:40 新屋良磨（秋田大）Parikhの定理の simple な証明 a la Joshi-Takahashi
19:30 懇親会

13日(木) 
12:30 舩山滉暉（東工大）"Proofs without syntax"の方法とシークエント計算の関連
13:30 木内詠美（東工大）正規様相論理に対するLindstrom Theorem
14:30 外丸真一（東工大）Intersection typeを含むラムダ計算のApproximation theorem
15:40 間庭彬仁（東工大）Constructive Modal Logic CS4 の Natural Deduction
16:40 高木研斗（東工大）真理値表から導く自然演繹の体系
17:40 中村誠希（東工大）Existential Monadic Transitive Closure Logic の初等的決定可能性について

-----
鹿島 亮
東京工業大学 情報理工学院 数理・計算科学系
kashima at is.titech.ac.jp