{"id":655,"date":"2019-03-30T17:22:51","date_gmt":"2019-03-30T08:22:51","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=655"},"modified":"2019-03-30T17:22:52","modified_gmt":"2019-03-30T08:22:52","slug":"6%e5%a0%b1%e3%81%ae%e8%ab%96%e6%96%87%e3%81%8c-lics-2019-%e3%81%ab%e6%8e%a1%e6%8a%9e","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/6%e5%a0%b1%e3%81%ae%e8%ab%96%e6%96%87%e3%81%8c-lics-2019-%e3%81%ab%e6%8e%a1%e6%8a%9e\/","title":{"rendered":"6\u5831\u306e\u8ad6\u6587\u304c LICS 2019 \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\u308b6\u5831\u306e\u8ad6\u6587\u304c\uff0c<a href=\"https:\/\/lics.siglog.org\/lics19\">LICS 2019<\/a> \u2013 Thirty-Fourth Annual ACM\/IEEE Symposium on Logic in Computer Science \u306b\u63a1\u629e\u3055\u308c\u307e\u3057\u305f\uff0e<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~sprunger\/\" target=\"_blank\">David Sprunger<\/a>&nbsp;and&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~s-katsumata\/\" target=\"_blank\">Shin-Ya Katsumata<\/a>.&nbsp;Differentiable Causal Computations via Delayed Trace<\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~y-komorida\/\" target=\"_blank\">Yuichi Komorida<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~s-katsumata\/\" target=\"_blank\">Shin-Ya Katsumata<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/nickhu.co.uk\/about\" target=\"_blank\">Nick Hu<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/www.mimuw.edu.pl\/~klin\" target=\"_blank\">Bartek Klin<\/a>&nbsp;<g class=\"gr_ gr_14 gr-alert gr_gramm gr_inline_cards gr_run_anim Punctuation only-ins replaceWithoutSep\" id=\"14\" data-gr-id=\"14\">and<\/g>&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~ichiro\" target=\"_blank\">Ichiro Hasuo<\/a>.&nbsp;Codensity Games for Bisimilarity<\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.mimuw.edu.pl\/~klin\" target=\"_blank\">Bartek Klin<\/a>&nbsp;and&nbsp;<a rel=\"noreferrer noopener\" aria-label=\" (opens in a new tab)\" href=\"http:\/\/group-mmm.org\/~eberhart\/\" target=\"_blank\">Clovis Eberhart<\/a>. History-dependent nominal mu-calculus<\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.cs.unibo.it\/~dallago\" target=\"_blank\">Ugo Dal Lago<\/a>&nbsp;and&nbsp;<a href=\"http:\/\/www.kurims.kyoto-u.ac.jp\/~naophiko\/\">Naohiko&nbsp;Hoshino<\/a>.&nbsp;The Geometry of Bayesian Programming <\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.acsu.buffalo.edu\/~tetsuyas\/\" target=\"_blank\">Tetsuya Sato<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/gbarthe.github.io\/\" target=\"_blank\">Gilles Barthe<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/www.buffalo.edu\/~gaboardi\/\" target=\"_blank\">Marco Gaboardi<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"https:\/\/justinh.su\/\" target=\"_blank\">Justin Hsu<\/a>&nbsp;and&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/group-mmm.org\/~s-katsumata\/\" target=\"_blank\">Shin-Ya Katsumata<\/a>.&nbsp;Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy<\/li><li>Arthur Azevedo de Amorim,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/www.buffalo.edu\/~gaboardi\/\" target=\"_blank\">Marco Gaboardi<\/a>, Justin Hsu and <a href=\"http:\/\/group-mmm.org\/~s-katsumata\/http:\/\/group-mmm.org\/~s-katsumata\/\" target=\"_blank\" rel=\"noreferrer noopener\" aria-label=\"Shin-Ya Katsumata (opens in a new tab)\">Shin-Ya Katsumata<\/a>.&nbsp;Probabilistic Relational Reasoning via Metrics<\/li><\/ul>\n\n\n\n<p>Symposium on Logic in Computer Science (LICS) \u306f\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u306b\u304a\u3051\u308b\u30c8\u30c3\u30d7\u56fd\u969b\u4f1a\u8b70\u3067\u3042\u308a\uff0c <a href=\"https:\/\/www.acm.org\/\">ACM<\/a> <a href=\"https:\/\/siglog.acm.org\/\">SIGLOG<\/a> \u306e\u65d7\u8266\u56fd\u969b\u4f1a\u8b70\u3067\u3059\uff0eLICS 2019 \u306f 2019\u5e746\u6708\u306b\uff0c\u30ab\u30ca\u30c0 \u30d0\u30f3\u30af\u30fc\u30d0\u30fc\u306b\u3066\u958b\u50ac\u3055\u308c\u307e\u3059\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\u308b6\u5831\u306e\u8ad6\u6587\u304c\uff0cLICS 2019 \u2013 Thirty-Fourth Annual ACM\/IEEE Symposium on Logic in Computer &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/6%e5%a0%b1%e3%81%ae%e8%ab%96%e6%96%87%e3%81%8c-lics-2019-%e3%81%ab%e6%8e%a1%e6%8a%9e\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">6\u5831\u306e\u8ad6\u6587\u304c LICS 2019 \u306b\u63a1\u629e<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"652","footnotes":""},"categories":[1],"tags":[],"class_list":["post-655","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/655","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=655"}],"version-history":[{"count":1,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/655\/revisions"}],"predecessor-version":[{"id":656,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/655\/revisions\/656"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=655"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=655"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=655"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}