{"id":791,"date":"2019-04-11T22:48:32","date_gmt":"2019-04-11T13:48:32","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=791"},"modified":"2019-06-05T16:33:13","modified_gmt":"2019-06-05T07:33:13","slug":"jeremy-dubut-awarded-best-theory-paper-award-at-etaps-2019-2","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/jeremy-dubut-awarded-best-theory-paper-award-at-etaps-2019-2\/","title":{"rendered":"J\u00e9r\u00e9my Dubut \u535a\u58eb\uff0cETAPS 2019 \u306b\u3066 Best Theory Paper Award \u53d7\u8cde"},"content":{"rendered":"\n<p>J\u00e9r\u00e9my Dubut \u535a\u58eb\u304c\uff0c\u4e0b\u8a18\u306e\u8ad6\u6587\u306b\u3088\u3063\u3066\uff0c<a href=\"https:\/\/conf.researchr.org\/home\/etaps-2019\">ETAPS 2019<\/a> \u2013 European Joint Conferences on Theory and Practice of Software \u306b\u304a\u3044\u3066 Best Theory Paper Award \u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<p>J\u00e9r\u00e9my Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).<\/p>\n\n\n\n<p>J\u00e9r\u00e9my Dubut \u535a\u58eb\u306f ERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u7279\u4efb\u7814\u7a76\u54e1\u3067\u3059 \uff08\u30b0\u30eb\u30fc\u30d7 0\uff09\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>J\u00e9r\u00e9my Dubut \u535a\u58eb\u304c\uff0c\u4e0b\u8a18\u306e\u8ad6\u6587\u306b\u3088\u3063\u3066\uff0cETAPS 2019 \u2013 European Joint Conferences on Theory and Practice of Software \u306b\u304a\u3044\u3066 Bes &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/jeremy-dubut-awarded-best-theory-paper-award-at-etaps-2019-2\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">J\u00e9r\u00e9my Dubut \u535a\u58eb\uff0cETAPS 2019 \u306b\u3066 Best Theory Paper Award \u53d7\u8cde<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":926,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"784","footnotes":""},"categories":[1],"tags":[],"class_list":["post-791","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/791","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=791"}],"version-history":[{"count":1,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/791\/revisions"}],"predecessor-version":[{"id":793,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/791\/revisions\/793"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media\/926"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=791"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=791"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=791"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}