2017.05.31

【受賞】情報学専攻の龍田 真教授が「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-Lof's Inductive Definitions Is Not Equivalent to Cyclic Proof System

授与団体：European Association for Theoretical Computer Science (EATCS)

受賞日：平成29年4月26日

＜関連ＵＲＬ＞

国立情報学研究所の受賞情報ページは こちら

その他受賞情報は こちら