ERATO MMSD プロジェクトの研究者が著者・共著者となる6報の論文が，LICS 2019 – Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science に採択されました．
- David Sprunger and Shin-Ya Katsumata. Differentiable Causal Computations via Delayed Trace
- Yuichi Komorida, Shin-Ya Katsumata, Nick Hu, Bartek Klin
and Ichiro Hasuo. Codensity Games for Bisimilarity - Bartek Klin and Clovis Eberhart. History-dependent nominal mu-calculus
- Ugo Dal Lago and Naohiko Hoshino. The Geometry of Bayesian Programming
- Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
- Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata. Probabilistic Relational Reasoning via Metrics
Symposium on Logic in Computer Science (LICS) は理論計算機科学におけるトップ国際会議であり， ACM SIGLOG の旗艦国際会議です．LICS 2019 は 2019年6月に，カナダ バンクーバーにて開催されます．