ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究:数理的理論から,AI 協働,ソフトウェアプラットフォームへ」を 2019年5月21日に開催し,88名の方にご参加いただいて,盛況のうち終了しました.お越しのみなさま,どうもありがとうございました.
いくつかの講演のビデオとスライドを公開しています.
ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究:数理的理論から,AI 協働,ソフトウェアプラットフォームへ」を 2019年5月21日に開催し,88名の方にご参加いただいて,盛況のうち終了しました.お越しのみなさま,どうもありがとうございました.
いくつかの講演のビデオとスライドを公開しています.
ERATO MMSD プロジェクトの研究者が著者となる2報の論文が,CAV 2019 – 31st International Conference on Computer-Aided Verification に採択されました.
International Conference on Computer-Aided Verification (CAV) は形式検証分野のトップ国際会議です.CAV 2019 は2019年7月に米国ニューヨークで開催されます.
Jérémy Dubut 博士が,下記の論文によって,ETAPS 2019 – European Joint Conferences on Theory and Practice of Software において Best Theory Paper Award を受賞しました.
Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).
Jérémy Dubut 博士は ERATO MMSD プロジェクトの特任研究員です (グループ 0).
ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
「高信頼自動運転システムのための先進的研究:数理的理論から,AI 協働,ソフトウェアプラットフォームへ」を開催します.
2019年5月21日(火)午後
ERATO MMSD プロジェクトの研究者が著者・共著者となる6報の論文が,LICS 2019 – Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science に採択されました.
Symposium on Logic in Computer Science (LICS) は理論計算機科学におけるトップ国際会議であり, ACM SIGLOG の旗艦国際会議です.LICS 2019 は 2019年6月に,カナダ バンクーバーにて開催されます.
ERATO MMSD プロジェクトの研究者が著者・共著者となる6報の論文が,ETAPS 2019 – European Joint Conferences on Theory and Practice of Software に採択されました.
European Joint Conferences on Theory and Practice of Software (ETAPS) は理論計算機科学分野での主要イベントの一つであり,国際会議5つ(ESOP, FASE, FOSSACS, POST and TACAS)およびその他ワークショップ等のイベントの集合体です.ETAPS 2019 は 2019年4月に,チェコ共和国プラハにて開催されます.
プロジェクトメンバーによる論文 “Offline timed pattern matching under uncertainty” (Étienne André, Ichiro Hasuo & Masaki Waga) が国際会議 ICECCS 2018 において Best Paper Award を受賞
CNRS ウェブページの記事(フランス語ですが,貢献が平易に記述されています)