プロジェクト シンポジウム 高信頼自動運転システムのための先進的研究

2019年5月21日(火)午後

ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム「高信 頼自動運転システムのための先進的研究:数理的理論から,AI 協働,ソ フトウェアプラットフォームへ」を開催します.詳細は 外部サイト を御覧ください。

コロキアム及びセミナー

セミナーと談話会については イベント(外部サイト) を御覧ください。

受賞

Paolo Arcaini 特任准教授はSSBSE 2021でDistinguished paper awardを受賞しました!

Paolo Arcaini 特任准教授(グループ3リーダー)は、国際会議SSBSE 2021にて発表した共著論文により、Distinguished paper awardを受賞 しました。詳細はこちらを御覧ください。

Paolo Arcaini特任准教授はSSBSE 2020で最優秀論文賞を受賞しました!

Paolo Arcaini特任准教授は、国際会議SSBSE 2020にて発表した共著論 文により、最優秀論文賞を受賞しました。詳細は こちらを御覧ください。

Paolo Arcaini特任准教授はAITest 2020で最優秀論文賞(AIシステムテスト)を受賞しました!

Paolo Arcaini特任准教授は、国際会議AITest 2020にて発表した 共著論文により、最優秀論文賞(AIシステムテスト)を受賞しました。詳細は こちらを御覧ください。

Xiaoyi Zhang研究員, Paolo Arcaini特任准教授, 石川 冬樹准教授はICECCS 2019で最優秀論文賞を受賞しました!

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 で最優秀論文賞を受賞しました!

和賀 正樹氏が,下記の論文によって,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: 記載が重複しておりましたのを訂正しました。)

Jérémy Dubut研究員がETAPS2019の最優秀理論論文賞を受賞しました!

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é博士、蓮尾一郎研究総括、和賀正樹氏はICECCS 2018で最 優秀論文賞を受賞しました!

É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 オープンハウス

NII オープンハウスが2019年5月31日-6月1日に開催されました。 (詳細はこちら)
ERATO 蓮尾メタ数理システムデザインプロジェクトからは ポスター発表の他、本プロジェクトの蓮尾一郎、石川冬樹、末永幸平 らが産官学連携セミナーで講演しました。

東京ミーティング2019

2019年3月18日、大阪、京都、九州のERATOメンバーが竹橋オフィスに集合し、 二日間の日程で研究交流を行いました。

プロジェクトキャンプ2018

2018年9月19日~21日、当プロジェクトの研究合宿をラフォーレ箱根にて行いました。

東京ミーティング2018

2018年3月8日、大阪、京都、九州のERATOメンバーが竹橋オフィスに集合し、 二日間の日程で研究交流を行いました。

情報系 WINTER FESTA Episode3での発表

情報系 WINTER FESTA Episode3 (2017年12月25ー26日)にて、 ERATO 蓮尾メタ数理システムデザインプロジェクトは口頭発表及びポスター出展をいたしました。

NII Today 77号

NII Today 第77号に当プロジェクトの研究が掲載されました。

NII Today No.77

研究合宿

2017年9月25日~27日、当プロジェクトの研究合宿をラフォーレ那須にて行いました。

Poster session
ポスターセッション

Groupwork
グループワーク

Presentation
発表

Presentation
発表

東京サイトビジット

2017年7月28日、大阪と京都のERATOメンバーが竹橋オフィスに集合し、二日間の日程で研究交流を行いました。

発足式及びキックオフワークショップ

2017年6月15日、当プロジェクトの発足式及びキックオフワークショップを 国立情報学研究所にて開催いたしました。

発足式の様子
発足式の様子

キックオフワークショップの様子
キックオフワークショップの様子

NII オープンハウスでのポスター発表

NII オープンハウスが2017年6月9日と10日に開催されます (詳細はこちら)
ERATO 蓮尾メタ数理システムデザインプロジェクトからは ポスターを2点出展いたしました。

NII webpageJST webpage

Osaka-u webpageKyoto-u webageKyusyu-u webpageWaterloo-u webpage