[logic-ml] セミナー案内

[KASHIMA Ryo]

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

東工大大岡山キャンパスで定期的に開催しているセミナー（普段はlogic-mlには流していません）の特別版を明日明後日に開催します。
どなたでも参加できますが、普段のセミナー案内を受け取っていない方の場合はご一報ください。

11日(火)
10:00 木内詠美（東工大）：Lindstrom Theoremの証明
11:00 浅見悠太（東工大）：公開告知ゲームについて
13:30 中村知己（東工大）：Gödel Modal Logic の拡張について
14:30 中村誠希（東工大）：「古典論理で極小な論理式だけで公理化できる論理に関する予想」の反例について
15:45 松本拓也（東工大）：Hybrid logicにおける補間定理について
16:45 山﨑紗紀子（首都大）：GKtS4の分析的カットとクレイグ補間定理

12日(水)
10:00 藤本誠（東工大）：Stone双対性について 
11:00 河野友亮（東工大）：Extended dynamic quantum logic について
12:00 鹿島亮（東工大）：狭義単項二階述語論理の決定可能性
13:45 外丸真一（東工大）：intersection typeを導入したラムダ計算
14:45 間庭彬仁（東工大）：Scott / Parigot encoding の fold / build pattern について
16:00 高木研斗（東工大）：lambda rho calculusについて
17:00 赤間陽二（東北大）：Goguen のtyped operational semanticsとvariable renamingについて

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