{"id":1295,"date":"2020-03-25T15:26:03","date_gmt":"2020-03-25T06:26:03","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=1295"},"modified":"2020-03-25T15:28:28","modified_gmt":"2020-03-25T06:28:28","slug":"three-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2020-2","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/three-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2020-2\/","title":{"rendered":"3\u5831\u306e\u8ad6\u6587\u304c ETAPS 2020 \u306b\u63a1\u629e"},"content":{"rendered":"\n<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u8457\u8005\u30fb\u5171\u8457\u8005\u3068\u306a\u308b3\u5831\u306e\u8ad6\u6587\u304c\uff0c <a href=\"https:\/\/etaps.org\/\">ETAPS 2020<\/a>  \u2013 European Joint Conferences on Theory and Practice of Software \u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Juraj Kol\u010d\u00e1k, J\u00e9r\u00e9my 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)&nbsp;<\/li><li>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) <\/li><li>Satoshi Kura. Graded algebraic theories. 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)<\/li><\/ul>\n\n\n\n<p>European Joint Conferences on Theory and Practice of Software (ETAPS) \u306f\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u5206\u91ce\u3067\u306e\u4e3b\u8981\u30a4\u30d9\u30f3\u30c8\u306e\u4e00\u3064\u3067\u3042\u308a\uff0c\u56fd\u969b\u4f1a\u8b704\u3064\uff08<a href=\"https:\/\/etaps.org\/2020\/esop\">ESOP<\/a>,\u00a0<a href=\"https:\/\/etaps.org\/2020\/fase\">FASE<\/a>,\u00a0<a href=\"https:\/\/etaps.org\/2020\/fossacs\">FOSSACS<\/a> and\u00a0<a href=\"https:\/\/etaps.org\/2020\/tacas\">TACAS<\/a>\uff09\u304a\u3088\u3073\u305d\u306e\u4ed6\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7\u7b49\u306e\u30a4\u30d9\u30f3\u30c8\u306e\u96c6\u5408\u4f53\u3067\u3059\uff0eETAPS 2020\u306f 2020\u5e744\u6708\u306b\uff0c\u30a2\u30a4\u30eb\u30e9\u30f3\u30c9\u5171\u548c\u56fd\u30c0\u30d6\u30ea\u30f3\u306b\u3066\u958b\u50ac\u4e88\u5b9a\u3067\u3057\u305f\uff08COVID-19 \u306e\u305f\u3081\u5ef6\u671f\uff09\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7814\u7a76\u8005\u304c\u8457\u8005\u30fb\u5171\u8457\u8005\u3068\u306a\u308b3\u5831\u306e\u8ad6\u6587\u304c\uff0c ETAPS 2020 \u2013 European Joint Conferences on Theory and Practice of Softw &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/three-papers-co-authored-by-erato-mmsd-researchers-accepted-for-etaps-2020-2\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">3\u5831\u306e\u8ad6\u6587\u304c ETAPS 2020 \u306b\u63a1\u629e<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"1293","footnotes":""},"categories":[1],"tags":[],"class_list":["post-1295","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1295","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=1295"}],"version-history":[{"count":2,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1295\/revisions"}],"predecessor-version":[{"id":1297,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/1295\/revisions\/1297"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=1295"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=1295"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=1295"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}