{"id":714,"date":"2023-08-03T12:52:18","date_gmt":"2023-08-03T12:52:18","guid":{"rendered":"https:\/\/sites.unimi.it\/brio\/?p=714"},"modified":"2023-08-03T12:52:18","modified_gmt":"2023-08-03T12:52:18","slug":"francesco-a-genco-talking-at-progic-2023-aug-30-sep-1-2023-utrecht-the-netherlands","status":"publish","type":"post","link":"https:\/\/sites.unimi.it\/brio\/francesco-a-genco-talking-at-progic-2023-aug-30-sep-1-2023-utrecht-the-netherlands\/","title":{"rendered":"Francesco A. Genco talking at PROGIC 2023 (Aug. 30 \u2013 Sep. 1 , 2023), Utrecht, the Netherlands"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Francesco A. Genco will present at <em>The Eleventh Workshop on Combining Probability and Logic<\/em> (PROGIC 2023) a talk with title &#8220;Testing and Trusting: A Typed Calculus for Reasoning about Probabilistic Processes&#8221;. The talk will take place on September 1 at 13:45 \u2013 14:25 and will be about the line of work of the BRIO project concerning the low-level analysis of computational trust through its formalisation in typed probabilistic \u03bb-calculus.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The Eleventh Workshop on Combining Probability and Logic takes place in Utrecht, the Netherlands, from August 30 until September 1, 2023 and has a special focus on Knowledge Representation and Reasoning.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/progic2023.sites.uu.nl\">https:\/\/progic2023.sites.uu.nl<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Francesco A. Genco will present at The Eleventh Workshop on Combining Probability and Logic (PROGIC 2023) a talk with title &#8220;Testing and Trusting: A Typed Calculus for Reasoning about Probabilistic Processes&#8221;. The talk will take place on September 1 at 13:45 \u2013 14:25 and will be about the line of work of the BRIO project &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/sites.unimi.it\/brio\/francesco-a-genco-talking-at-progic-2023-aug-30-sep-1-2023-utrecht-the-netherlands\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Francesco A. Genco talking at PROGIC 2023 (Aug. 30 \u2013 Sep. 1 , 2023), Utrecht, the Netherlands&#8221;<\/span><\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-714","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/714","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/comments?post=714"}],"version-history":[{"count":1,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/714\/revisions"}],"predecessor-version":[{"id":715,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/posts\/714\/revisions\/715"}],"wp:attachment":[{"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/media?parent=714"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/categories?post=714"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.unimi.it\/brio\/wp-json\/wp\/v2\/tags?post=714"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}