2019年5月21日(火)午後
ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム「高信 頼自動運転システムのための先進的研究:数理的理論から,AI 協働,ソ フトウェアプラットフォームへ」を開催します.詳細は 外部サイト を御覧ください。
セミナーと談話会については イベント(外部サイト) を御覧ください。
Paolo Arcaini 特任准教授(グループ3リーダー)は、国際会議SSBSE 2021にて発表した共著論文により、Distinguished paper awardを受賞 しました。詳細はこちらを御覧ください。
Paolo Arcaini特任准教授は、国際会議SSBSE 2020にて発表した共著論 文により、最優秀論文賞を受賞しました。詳細は こちらを御覧ください。
Paolo Arcaini特任准教授は、国際会議AITest 2020にて発表した 共著論文により、最優秀論文賞(AIシステムテスト)を受賞しました。詳細は こちらを御覧ください。
Xiaoyi Zhang研究員, Paolo Arcaini特任准教授, 石川 冬樹准教授は、国際会議 ICECCS 2019にて発表した以下の論文により、最優秀論文賞を受賞しま した。
Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019
和賀 正樹氏が,下記の論文によって,FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – において最優秀論文賞(Oded Maler Award) を受賞 しました.
Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham.
和賀 正樹氏は ERATO MMSD プロジェクトのリサーチアシスタント(グ ループ3)です.彼は総研大情報学専攻の博士課程に在学中であり,日 本学術振興会特別研究員(DC)でもあります. (2020/11/24: 記載が重複しておりましたのを訂正しました。)
ERATO MMSDプロジェクトのグループ0研究員であるJérémy Dubut研究員は、 ヨーロッパ最大のソフトウェア理論に関する会議であるETAPSにおいて、 以下の論文により最優秀理論論文賞を受賞しました。
Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).
Étienne André博士(パリ13大学)、蓮尾一郎研究総括、和賀正樹氏(総研大) の三名は、国際会議ICECCS 2018にて発表した以下の論文により、 最優秀論文賞を受賞しました。
Étienne André, Ichiro Hasuo and Masaki Waga. Offline Timed Pattern Matching under Uncertainty. International Conference on Engineering of Complex Computer Systems (ICECCS 2018).
NII オープンハウスが2019年5月31日-6月1日に開催されました。
(詳細はこちら)。
ERATO 蓮尾メタ数理システムデザインプロジェクトからは
ポスター発表の他、本プロジェクトの蓮尾一郎、石川冬樹、末永幸平
らが産官学連携セミナーで講演しました。
2019年3月18日、大阪、京都、九州のERATOメンバーが竹橋オフィスに集合し、 二日間の日程で研究交流を行いました。
2018年9月19日~21日、当プロジェクトの研究合宿をラフォーレ箱根にて行いました。
2018年3月8日、大阪、京都、九州のERATOメンバーが竹橋オフィスに集合し、 二日間の日程で研究交流を行いました。
情報系 WINTER FESTA Episode3 (2017年12月25ー26日)にて、 ERATO 蓮尾メタ数理システムデザインプロジェクトは口頭発表及びポスター出展をいたしました。
NII Today 第77号に当プロジェクトの研究が掲載されました。
2017年9月25日~27日、当プロジェクトの研究合宿をラフォーレ那須にて行いました。
ポスターセッション
グループワーク
発表
発表
2017年7月28日、大阪と京都のERATOメンバーが竹橋オフィスに集合し、二日間の日程で研究交流を行いました。
2017年6月15日、当プロジェクトの発足式及びキックオフワークショップを 国立情報学研究所にて開催いたしました。
発足式の様子
キックオフワークショップの様子
NII オープンハウスが2017年6月9日と10日に開催されます
(詳細はこちら)。
ERATO 蓮尾メタ数理システムデザインプロジェクトからは
ポスターを2点出展いたしました。