{"id":82,"date":"2021-04-02T08:49:27","date_gmt":"2021-04-02T08:49:27","guid":{"rendered":"http:\/\/synasc.ro\/2021\/?page_id=82"},"modified":"2021-08-04T07:55:55","modified_gmt":"2021-08-04T07:55:55","slug":"logic-and-programming","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2021\/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><\/ul>\n\n\n\n<p><strong>Track Chairs:<\/strong><\/p>\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>Marcel Hark, RWTH Aachen University<\/li><li>Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara<\/li><li>Arie Gurfinkel, University of Waterloo<\/li><li>Alexander Bentkamp, Vrije Universiteit Amsterdam<\/li><li>Grigory Fedyukovich, Princeton University<\/li><li>Stefan Andrei, Lamar University<\/li><li>Sorin Stratulat, Universit\u00e9 de Lorraine, Metz<\/li><li>Temur Kutsia, RISC, Johannes Kepler University Linz<\/li><li>Sharon Shoham, Tel Aviv University<\/li><li>Simon Robillard, IMT Atlantique<\/li><li>Yakir Vizel, The Technion<\/li><li>Jorge A Navas, SRI International<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>automatic reasoning formal system verification formal verification and synthesis software quality assessment static analysis timing analysis Track Chairs: Nikolaj Bjorner, Microsoft Research, USA Arie Gurfinkel, University of Waterloo, Canada Laura Kovacs, Technical University of Vienna, Austria Program Committee: Marcel Hark, RWTH Aachen University Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara Arie Gurfinkel, [&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-82","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/82","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/comments?post=82"}],"version-history":[{"count":6,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/82\/revisions"}],"predecessor-version":[{"id":462,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/82\/revisions\/462"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=82"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}