ニュース / News

受賞

和賀 正樹さん(総研大情報学専攻、蓮尾研究室)の論文が国際会議FORMATS 2019で最優秀論文賞を受賞

和賀 正樹さん(総研大情報学専攻、蓮尾研究室)の論文が実時間システムの形式検証分野における主要国際会議であるFORMATS 2019で最優秀論文賞(Oded Maler Award)を受賞しました。

賞の名称

最優秀論文賞(Oded Maler Award)

受賞論文タイトル

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

受賞者

和賀 正樹(総研大情報学専攻、蓮尾研究室)

授与団体・学会

17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019)

受賞日

2019年8月28日

関連リンク
3866

注目コンテンツ / SPECIAL