{"id":480,"date":"2019-03-27T20:25:27","date_gmt":"2019-03-27T11:25:27","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=480"},"modified":"2019-03-29T10:47:58","modified_gmt":"2019-03-29T01:47:58","slug":"six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2019","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2019\/","title":{"rendered":"Six papers (co)-authored by ERATO MMSD researchers accepted for ETAPS 2019"},"content":{"rendered":"\n<p>Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at <a href=\"https:\/\/conf.researchr.org\/home\/etaps-2019\">ETAPS 2019<\/a> \u2013 European Joint Conferences on Theory and Practice of Software.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Taro Sekiyama, Atsushi Igarashi. Handling polymorphic algebraic effects. 27th European Symposium on Programming (ESOP 2019)<\/li><li>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)<\/li><li>\u00c9tienne Andr\u00e9, 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)<\/li><li>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)<\/li><li>Thorsten Wissmann, J\u00e9r\u00e9my 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)<\/li><li>J\u00e9r\u00e9my Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019)<\/li><\/ul>\n\n\n\n<p>The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences, <a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/esop-2019-papers\">ESOP<\/a>,&nbsp;<a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/fase-2019-papers\">FASE<\/a>,&nbsp;<a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/fossacs-2019-papers\">FOSSACS<\/a>,&nbsp;<a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/post-2019-papers\">POST<\/a>&nbsp;and&nbsp;<a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/tacas-2019-papers\">TACAS<\/a>, accompanied by satellite workshops and other events. ETAPS 2019 conference will take place in Prague, Czech Republic, in April 2019.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at ETAPS 2019 \u2013 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) \u00c9tienne Andr\u00e9, 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 &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2019\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Six papers (co)-authored by ERATO MMSD researchers accepted for ETAPS 2019<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"480","footnotes":""},"categories":[1],"tags":[],"class_list":["post-480","post","type-post","status-publish","format-standard","hentry","category-1","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/480","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=480"}],"version-history":[{"count":8,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/480\/revisions"}],"predecessor-version":[{"id":638,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/480\/revisions\/638"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=480"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=480"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=480"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}