{"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":"2022-04-12T15:43:14","modified_gmt":"2022-04-12T15:43:14","slug":"logic-and-programming","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2022\/logic-and-programming\/","title":{"rendered":"Logic and Programming"},"content":{"rendered":"\n<ul class=\"wp-block-list\"><li>automatic reasoning<\/li><li>formal system verification<\/li><li>formal verification and synthesis<\/li><li>software quality assessment<\/li><li>static analysis<\/li><li>timing analysis<\/li><li>automated testing<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Track Chairs:<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Nikolaj Bjorner, Microsoft Research, USA<\/li><li>Arie Gurfinkel, University of Waterloo, Canada<\/li><li>Laura Kovacs, Technical University of Vienna, Austria<\/li><\/ul>\n\n\n\n<p><strong>Program Committee:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Stefan Andrei Lamar University, USA<\/li><li>Mingshuai Chen Lehrstuhl f\u00fcr Informatik 2, RWTH Aachen University, Germany<\/li><li>Madalina Erascu West University of Timisoara, Romania<\/li><li>Katalin Fazekas TU Wien, Austria<\/li><li>Grigory Fedyukovich Florida State University, USA<\/li><li>Antti Hyv\u00e4rinen Universita della Svizzera italiana, Switzerland<\/li><li>Temur Kutsia RISC, Johannes Kepler University Linz<\/li><li>Jorge A Navas SRI International, USA<\/li><li>Sorin Stratulat Universit\u00e9 de Lorraine, Metz, France<\/li><li>Dominik Winterer ETH Zurich, Swizerland<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>automatic reasoning formal system verification formal verification and synthesis software quality assessment static analysis timing analysis automated testing Track Chairs: Nikolaj Bjorner, Microsoft Research, USA Arie Gurfinkel, University of Waterloo, Canada Laura Kovacs, Technical University of Vienna, Austria Program Committee: Stefan Andrei Lamar University, USA Mingshuai Chen Lehrstuhl f\u00fcr Informatik 2, RWTH Aachen University, Germany [&hellip;]<\/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\/2022\/wp-json\/wp\/v2\/pages\/38","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/comments?post=38"}],"version-history":[{"count":4,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/38\/revisions"}],"predecessor-version":[{"id":274,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/38\/revisions\/274"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/media?parent=38"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}