受賞日： 2017年7月26日
氏名 職名/学年： 蓑田 玲緒奈 博士3年*1
湊 真一 教授*2
所属： *1情報科学研究科 コンピュータサイエンス専攻 知識ソフトウェア科学講座 大規模知識処理研究室
*2情報科学研究科 情報理工学専攻 知識ソフトウェア科学講座 大規模知識処理研究室
授与団体： the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems(PECCS/PEC 2017)
賞名： Best Paper Award
受賞論文名，研究題目名または受賞理由：
｢Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking (記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的検証)｣
問い合わせ先： Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp(湊真一)