{"id":582,"date":"2025-10-25T06:46:54","date_gmt":"2025-10-25T06:46:54","guid":{"rendered":"https:\/\/sites.unimi.it\/smartest\/?p=582"},"modified":"2025-10-25T10:09:47","modified_gmt":"2025-10-25T10:09:47","slug":"overlay-2025","status":"publish","type":"post","link":"https:\/\/sites.unimi.it\/smartest\/overlay-2025\/","title":{"rendered":"Overlay 2025"},"content":{"rendered":"\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"307\" src=\"https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm-1024x307.jpg\" alt=\"\" class=\"wp-image-583\" srcset=\"https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm-1024x307.jpg 1024w, https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm-300x90.jpg 300w, https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm-768x230.jpg 768w, https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm-1536x461.jpg 1536w, https:\/\/sites.unimi.it\/smartest\/wp-content\/uploads\/2025\/10\/logoOverlaySm.jpg 1884w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Leonardo Ceragioli and Giuseppe Primiero<\/strong> will present their two-part research, &#8220;<strong>A Proof System with Causal Labels<\/strong>,&#8221; at the <a href=\"https:\/\/overlay.uniud.it\/workshop\/2025\/\" data-type=\"link\" data-id=\"https:\/\/overlay.uniud.it\/workshop\/2025\/\">OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The workshop is part of the <a href=\"https:\/\/ecai2025.org\/\">ECAI 2025<\/a> conference in Bologna.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/doi.org\/10.48550\/arXiv.2507.14650\">A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/doi.org\/10.48550\/arXiv.2507.14655\">A Proof System with Causal Labels (Part II): checking Counterfactual Fairness<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">26 October 2025<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Bologna, University of Bologna<br>The Engineering School<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Leonardo Ceragioli and Giuseppe Primiero will present their two-part research, &#8220;A Proof System with Causal Labels,&#8221; at the OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS.<\/p>\n","protected":false},"author":4,"featured_media":583,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-582","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/posts\/582","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/comments?post=582"}],"version-history":[{"count":3,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/posts\/582\/revisions"}],"predecessor-version":[{"id":589,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/posts\/582\/revisions\/589"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/media\/583"}],"wp:attachment":[{"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/media?parent=582"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/categories?post=582"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.unimi.it\/smartest\/wp-json\/wp\/v2\/tags?post=582"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}