Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at 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
The LICS Symposium is a top international venue on theoretical topics in computer science