{"id":38,"date":"2022-02-25T08:19:52","date_gmt":"2022-02-25T08:19:52","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=38"},"modified":"2024-08-05T20:38:26","modified_gmt":"2024-08-05T20:38:26","slug":"logic-and-programming","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2024\/logic-and-programming\/","title":{"rendered":"Logic and Programming"},"content":{"rendered":"\n<ul class=\"wp-block-list\">\n<li>automatic reasoning<\/li>\n\n\n\n<li>formal system verification<\/li>\n\n\n\n<li>formal verification and synthesis<\/li>\n\n\n\n<li>software quality assessment<\/li>\n\n\n\n<li>static analysis<\/li>\n\n\n\n<li>timing analysis<\/li>\n\n\n\n<li>automated testing<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Track Chairs:<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Nikolaj Bjorner<\/strong>, Microsoft Research, USA<\/li>\n\n\n\n<li><strong>Arie Gurfinkel<\/strong>, University of Waterloo, Canada<\/li>\n\n\n\n<li><strong>Laura Kovacs<\/strong>, Technical University of Vienna, Austria<\/li>\n<\/ul>\n\n\n\n<p><strong>Program Committee:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Erika Abraham<\/strong>, RWTH Aachen University, Germany<\/li>\n\n\n\n<li><strong>\u0218tefan Andrei<\/strong>, A.I. Cuza University, Ia\u0219i, Romania<\/li>\n\n\n\n<li><strong>M\u0103d\u0103lina Era\u0219cu<\/strong>, West University of Timisoara, Romania<\/li>\n\n\n\n<li><strong>Grigory Fedyukovich<\/strong>, Florida State University, United States<\/li>\n\n\n\n<li><strong>Luk\u00e1\u0161 Hol\u00edk<\/strong>, Brno University of Technology, Czechia<\/li>\n\n\n\n<li><strong>Temur Kutsia<\/strong>, RISC, Johannes Kepler University Linz, Austria<\/li>\n\n\n\n<li><strong>Philipp R\u00fcmmer<\/strong>, University of Regensburg, Germany<\/li>\n\n\n\n<li><strong>Sorin Stratulat<\/strong>, Universit\u00e9 de Lorraine, France<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Track Chairs: Program Committee:<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-38","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/38","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/comments?post=38"}],"version-history":[{"count":12,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/38\/revisions"}],"predecessor-version":[{"id":1118,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/38\/revisions\/1118"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/media?parent=38"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}