{"id":88,"date":"2022-01-11T12:04:12","date_gmt":"2022-01-11T11:04:12","guid":{"rendered":"https:\/\/project.inria.fr\/from22\/?page_id=88"},"modified":"2022-09-16T12:51:33","modified_gmt":"2022-09-16T10:51:33","slug":"program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/from22\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

September 19:<\/strong><\/p>\n

8:45 Opening<\/em>
\n9:00-10:00 Luigia Petre,\u00a0“On Teaching Formal Methods – Challenges and Prospects”<\/a><\/em>
\n10:00-10:30 P\u00e9ter Bereczky, Chen Xiaohong, D\u00e1niel Horp\u00e1csi, Lucas Pena and Jan Tusil, “Mechanizing Matching Logic In Coq”<\/em>
\n10:30-11:00 Coffee break<\/em>
\n11:00-12:00 Thomas Genet, “Regular Tree Languages for Verification, at last”\u00a0<\/a><\/em>
\n12:00-12:30 Andrei Arusoaie and Dorel Lucanu,” Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification”<\/em>
\n12:30- 14:00 Lunch<\/em>
\n14:00-15:00 Denisa Diaconescu, “An abstract framework for faulty distributed systems”<\/a><\/em>
\n15:00-15:30 Coffee break<\/em>
\n15:30-16:00 Nils Timm and Josua Botha, “Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation”<\/em>
\n16:00-16:30 Wolfgang Jeltsch and Javier D\u00edaz, “Correctness of Broadcast via Multicast: Graphically and Formally”<\/em><\/p>\n

September 20 (shared with WoLLIC 2022<\/a>):<\/strong><\/p>\n

9:00-10:00 Dorel Lucanu, “How to Define Domain Specific Logics using Matching Logic”.<\/em><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

September 19: 8:45 Opening 9:00-10:00 Luigia Petre,\u00a0“On Teaching Formal Methods – Challenges and Prospects” 10:00-10:30 P\u00e9ter Bereczky, Chen Xiaohong, D\u00e1niel Horp\u00e1csi, Lucas Pena and Jan Tusil, “Mechanizing Matching Logic In Coq” 10:30-11:00 Coffee break 11:00-12:00 Thomas Genet, “Regular Tree Languages for Verification, at last”\u00a0 12:00-12:30 Andrei Arusoaie and Dorel Lucanu,”\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":1179,"featured_media":0,"parent":0,"menu_order":6,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-88","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/88","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/users\/1179"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/comments?post=88"}],"version-history":[{"count":3,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/88\/revisions"}],"predecessor-version":[{"id":165,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/88\/revisions\/165"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/media?parent=88"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}