2報の論文が ICECCS 2019 に採択

ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems に採択されました．

  • Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.87-96, 2019
    [doi]
  • Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019
    [doi]

    • International Conference on Engineering of Complex Computer Systems (ICECCS) はソフトウェア科学・ソフトウェア工学分野の主要国際会議です．ICECCS 2019 は2019年11月に中国南沙市で開催されます．

    和賀 正樹氏，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. [Springer | arxiv]

    和賀 正樹氏は ERATO MMSD プロジェクトのリサーチアシスタント（グループ3）です．彼は総研大情報学専攻の博士課程に在学中であり，日本学術振興会特別研究員（DC）でもあります．

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

    ERATO 蓮尾メタ数理システムデザインプロジェクト シンポジウム
    「高信頼自動運転システムのための先進的研究：数理的理論から，AI 協働，ソフトウェアプラットフォームへ」を 2019年5月21日に開催し，88名の方にご参加いただいて，盛況のうち終了しました．お越しのみなさま，どうもありがとうございました．

    いくつかの講演のビデオとスライドを公開しています．

    2報の論文が CAV 2019 に採択

    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 にて Best Theory Paper Award 受賞

    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）．

    6報の論文が LICS 2019 に採択

    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月に，カナダ バンクーバーにて開催されます．

    6報の論文が ETAPS 2019 に採択

    ERATO MMSD プロジェクトの研究者が著者・共著者となる6報の論文が，ETAPS 2019 – European Joint Conferences on Theory and Practice of Software に採択されました．

    • Taro Sekiyama, Atsushi Igarashi. Handling polymorphic algebraic effects. 27th European Symposium on Programming (ESOP 2019)
    • Satoshi Kura, Natsuki Urabe, Ichiro Hasuo. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
    • Étienne André, Vincent Bloemen, Laure Petrucci, Jaco Van de Pol. Minimal-Time Synthesis for Parametric Timed Automata . 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
    • Christian Sternagel, Akihisa Yamada. Reachability Analysis for Termination and Confluence of Rewriting. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
    • Thorsten Wissmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo. Path category for free: Open morphisms from coalgebras with non-deterministic branching. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)
    • Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)

    European Joint Conferences on Theory and Practice of Software (ETAPS) は理論計算機科学分野での主要イベントの一つであり，国際会議5つ（ESOP, FASE, FOSSACS, POST and TACAS）およびその他ワークショップ等のイベントの集合体です．ETAPS 2019 は 2019年4月に，チェコ共和国プラハにて開催されます．