以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）以及其它workshop。ETAPS 2019于2019年4月在捷克，布拉格举行。