3報の論文が ETAPS 2020 に採択

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

  • Juraj Kolčák, Jérémy Dubut, Ichiro Hasuo, Shin-Ya Katsumata, David Sprunger and Akihisa Yamada. Relational Differential Dynamic Logic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) 
  • Takamasa Okudono and Andy King. Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
  • Satoshi Kura. Graded algebraic theories. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)

European Joint Conferences on Theory and Practice of Software (ETAPS) は理論計算機科学分野での主要イベントの一つであり,国際会議4つ(ESOPFASEFOSSACS and TACAS)およびその他ワークショップ等のイベントの集合体です.ETAPS 2020は 2020年4月に,アイルランド共和国ダブリンにて開催予定でした(COVID-19 のため延期).