[logic-ml] セミナー案内

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

東工大で定期的に開催しているセミナー（普段は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 の初等的決定可能性について

----- 鹿島 亮 東京工業大学 情報理工学院 数理・計算科学系 [email protected]