情報科学研究科 蓑田玲緒奈さん(博士3年)，情報科学研究科 田中譲特任教授，情報科学研究科 湊真一教授がThe Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)のBest Paper Awardを受賞しました。

受賞日：　2016年11月26日
氏名 職名/学年 ：　蓑田 玲緒奈 博士3年*1　　田中 譲 特任教授*2　　湊 真一 教授*1
所属：　*1 情報科学研究科 情報理工学専攻 知識ソフトウェア科学講座 大規模知識処理研究室
　　　　*2 情報科学研究科 情報理工学専攻
授与団体：　The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)
賞名：　Best Paper Award
受賞論文名，研究題目名または受賞理由：
｢Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking (モデル検査によるスマートオブジェクト間の近接連携シナリオの検証)｣
問い合わせ先：　Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp (湊真一)