ニュース / News

受賞

龍田 真教授(情報学プリンシプル研究系)がthe EATCS Award for the best ETAPS paper in theoretical computer scienceを受賞

International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)で発表された以下の論文に対し、the EATCS Award for the best ETAPS paper in theoretical computer scienceが授与されました。

受賞論文
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System
受賞者
龍田 真(国立情報学研究所)
授与団体
European Association for Theoretical Computer Science (EATCS)
受賞日
平成29年4月26日
1924

注目コンテンツ / SPECIAL