{"id":423,"date":"2024-02-19T09:33:17","date_gmt":"2024-02-19T09:33:17","guid":{"rendered":"https:\/\/www.fm24.polimi.it\/?page_id=423"},"modified":"2024-07-02T09:00:05","modified_gmt":"2024-07-02T09:00:05","slug":"workshops","status":"publish","type":"page","link":"https:\/\/www.fm24.polimi.it\/?page_id=423","title":{"rendered":"Workshops"},"content":{"rendered":"\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"font-size:clamp(15.197px, 0.95rem + ((1vw - 3.2px) * 0.691), 23px);\"><a href=\"http:\/\/pavetrust.github.io\">Program Analysis and Verification on Trusted Platforms (PAVeTrust)<\/a><\/h2>\n\n\n\n<p>Date: September 9, 2024<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"font-size:clamp(15.197px, 0.95rem + ((1vw - 3.2px) * 0.691), 23px);\"><a href=\"https:\/\/cpa.sosy-lab.org\/2024\/\">9th International Workshop on CPAchecker (CPA 2024)<\/a><\/h2>\n\n\n\n<p>Date: September 9, 2024<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"font-size:clamp(15.197px, 0.95rem + ((1vw - 3.2px) * 0.691), 23px);\"><a href=\"https:\/\/www.overturetool.org\/workshops\/22nd-overture-workshop.html\">22nd Overture Workshop<\/a><\/h2>\n\n\n\n<p>Date: September 10, 2024<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"font-size:clamp(15.197px, 0.95rem + ((1vw - 3.2px) * 0.691), 23px);\"><a href=\"https:\/\/fmtea.github.io\">Formal Methods Teaching Workshop and Tutorial (FMTea)<\/a><\/h2>\n\n\n\n<p>Date: September 10, 2024<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\" style=\"font-size:clamp(15.197px, 0.95rem + ((1vw - 3.2px) * 0.691), 23px);\"><a href=\"https:\/\/conf.tlapl.us\/2024-fm\/\">TLA+ Community Meeting<\/a><\/h2>\n\n\n\n<p>Date: September 10, 2024<\/p>\n\n\n\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Program Analysis and Verification on Trusted Platforms (PAVeTrust) Date: September 9, 2024 9th International Workshop on CPAchecker (CPA 2024) Date: September 9, 2024 22nd Overture Workshop Date: September 10, 2024 Formal Methods Teaching Workshop and Tutorial (FMTea) Date: September 10, 2024 TLA+ Community Meeting Date: September 10, 2024<\/p>\n","protected":false},"author":10,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inspiro_hide_title":false,"footnotes":""},"class_list":["post-423","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/423","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=423"}],"version-history":[{"count":10,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/423\/revisions"}],"predecessor-version":[{"id":660,"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=\/wp\/v2\/pages\/423\/revisions\/660"}],"wp:attachment":[{"href":"https:\/\/www.fm24.polimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=423"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}