{"id":652,"date":"2019-03-30T17:23:01","date_gmt":"2019-03-30T08:23:01","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=652"},"modified":"2019-03-30T17:25:59","modified_gmt":"2019-03-30T08:25:59","slug":"six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-lics-2019","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-lics-2019\/","title":{"rendered":"Six papers (co)-authored by ERATO MMSD researchers accepted for LICS 2019"},"content":{"rendered":"\n<p>Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at <a href=\"https:\/\/lics.siglog.org\/lics19\">LICS 2019<\/a> \u2013 Thirty-Fourth Annual ACM\/IEEE Symposium on Logic in Computer Science.<\/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>The LICS Symposium is a top international venue on theoretical topics in computer science <g class=\"gr_ gr_197 gr-alert gr_gramm gr_inline_cards gr_run_anim Grammar multiReplace\" id=\"197\" data-gr-id=\"197\">relate<\/g> to logic \u2013 it is the flagship conference of <a href=\"https:\/\/www.acm.org\/\">ACM<\/a> <a href=\"https:\/\/siglog.acm.org\/\">SIGLOG<\/a>. LICS 2019 will take place in Vancouver, Canada, in June 2019.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Six papers (co)-authored by ERATO MMSD researchers accepted for presentation at LICS 2019 \u2013 Thirty-Fourth Annual ACM\/IEEE Symposium on Logic in Computer Science. David Sprunger&nbsp;and&nbsp;Shin-Ya Katsumata.&nbsp;Differentiable Causal Computations via Delayed Trace Yuichi Komorida,&nbsp;Shin-Ya Katsumata,&nbsp;Nick Hu,&nbsp;Bartek Klin&nbsp;and&nbsp;Ichiro Hasuo.&nbsp;Codensity Games for Bisimilarity Bartek Klin&nbsp;and&nbsp;Clovis Eberhart. History-dependent nominal mu-calculus Ugo Dal Lago&nbsp;and&nbsp;Naohiko&nbsp;Hoshino.&nbsp;The Geometry of Bayesian Programming Tetsuya Sato,&nbsp;Gilles Barthe,&nbsp;Marco Gaboardi,&nbsp;Justin Hsu&nbsp;and&nbsp;Shin-Ya Katsumata.&nbsp;Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy Arthur Azevedo de Amorim,&nbsp;Marco Gaboardi, Justin Hsu and Shin-Ya Katsumata.&nbsp;Probabilistic Relational Reasoning via Metrics The LICS Symposium is a top international venue on theoretical topics in computer science relate to logic \u2013 it is the flagship conference of ACM SIGLOG. LICS 2019 &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/six-papers-co-authored-by-erato-mmsd-researchers-accepted-for-lics-2019\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Six papers (co)-authored by ERATO MMSD researchers accepted for LICS 2019<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"652","footnotes":""},"categories":[1],"tags":[],"class_list":["post-652","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\/652","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=652"}],"version-history":[{"count":2,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/652\/revisions"}],"predecessor-version":[{"id":657,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/652\/revisions\/657"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=652"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=652"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=652"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}