第20回「記号論理学と情報科学」プログラム

10:00 Opening

10:10 -- 10:50

Modal logics for coalgebras (survey), 要旨

蓮尾　一郎(東工大)

10:50 --11:30

Regular category の中の非決定性オートマトン, 要旨

池上大介(産総研/CREST)

11:30 -- 12:10

抽象解釈にみられる圏論的構成について, 要旨

西澤弘毅(東大/産総研)

-- 昼休み --

13:30 -- 14:00

明示的代入計算の強正規化性の証明について, 要旨

桜井貴文(千葉大)

14:00 -- 14:40

様相μ計算の完全性について, 要旨

鹿島亮(東工大)

14:40--14:55

Announcement of Typed Lambda Calculus and Applications

長谷川真人(京大)

-- 休憩 --

15:15 -- 15:55

Flow Analytic Type System for Compiler Optimizations , 要旨

松野裕(東大)

15:55 -- 16:35

NP完全問題を解く決定性アルゴリズムについて, 要旨

久馬栄道(愛知学院大)

16:35-- 17:15

On Sufficient Conditions And Partial Analysis for Secure Cryptographic Protocols, 要旨

Masao Mori (九大)

*** 懇親会 ***

10:00 -- 10:40: 外延的π計算 ,
安部達也(東大)
10:40 --11:20: 情報と依存関係の論理 , 要旨
小林聡(京産大)
-- 休憩 --
11:35 -- 12:15: The double-negation and ?! translations of classical logic, 要旨
白旗　優(慶應大)
12:15--12:55: 等式の対応関係について, 要旨
西原秀明(産総研/CREST)
終了

第20回「記号論理学と情報科学」 プログラム