参加者リスト
Bart Jacobs (CANCELLED)Radboud University NijmegenDaniel GAINA北陸先端科学技術大学院大学 情報科学研究科Mahmudul Faisal Al Ameen 総合研究大学院大学複合科学研究科情報学専攻Rene Vestergaard北陸先端科学技術大学院大学 情報科学研究科Rossen Mikhov京都大学数理解析研究所中原 早生産業技術総合研究所 システム検証研究センター中澤 巧爾京都大学大学院情報学研究科二木 厚吉北陸先端科学技術大学院大学 情報科学研究科五十嵐 淳京都大学大学院情報学研究科八杉 昌宏京都大学大学院情報学研究科勝股 審也京都大学数理解析研究所古澤 仁鹿児島大学理学部四熊 尚方京都大学大学院情報学研究科大岩 寛産業技術総合研究所 情報セキュリティ研究センター宮部 賢志京都大学数理解析研究所山内 洋佑京都大学大学院情報学研究科星野 直彦京都大学数理解析研究所木下 佳樹産業技術総合研究所 システム検証研究センター河原 康雄九州大学システム情報科学研究院津曲 紀宏鹿児島大学大学院理工学研究科浅田 和之京都大学数理解析研究所浜名 誠群馬大学工学研究科照井 一成京都大学数理解析研究所矢田部 俊介産業技術総合研究所 システム検証研究センター石田 俊一九州大学大学院システム情報科学府情報理学専攻緒方 和博北陸先端科学技術大学院大学 情報科学研究科蓮尾 一郎京都大学数理解析研究所西村 進京都大学大学院理学研究科西澤 弘毅東北大学大学院情報科学研究科長谷川 真人京都大学数理解析研究所馬谷 誠二京都大学大学院情報学研究科齊藤 智恵理京都大学大学院情報学研究科