{"id":604,"date":"2015-01-27T14:29:33","date_gmt":"2015-01-27T12:29:33","guid":{"rendered":"http:\/\/synasc.ro\/2017\/?page_id=604"},"modified":"2020-05-26T12:51:55","modified_gmt":"2020-05-26T10:51:55","slug":"logic-and-programming-2","status":"publish","type":"page","link":"http:\/\/synasc.ro\/2020\/tracks\/logic-and-programming-2\/","title":{"rendered":"Logic and Programming"},"content":{"rendered":"<ul>\n<li><strong>Topics<\/strong>\n<ul style=\"list-style-type: circle;\">\n<li>automatic reasoning<\/li>\n<li>formal system verification<\/li>\n<li>formal verification and synthesis<\/li>\n<li>software quality assessment<\/li>\n<li>static analysis<\/li>\n<li>timing analysis<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li><strong>Chairs<\/strong>\n<ul>\n<li>Nikolaj Bjorner, Microsoft, Redmond, USA<\/li>\n<li>Laura Kovacs, Technical University of Vienna, Austria<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li><strong>Program Committee<\/strong>\n<ul>\n<li>Stefan Andrei, Lamar University, USA<\/li>\n<li>M\u0103d\u0103lina Era\u0219cu, Institute e-Austria Timi\u0219oara and West University of Timi\u0219oara, Romania<\/li>\n<li>Marijn Heule, Carnegie Mellon University, USA<\/li>\n<li>Luk\u00e1\u0161 Hol\u00edk, Brno University of Technology, Czechia<\/li>\n<li>Konstantin Korovin, The University of Manchester, UK<\/li>\n<li>Gergely Kov\u00e1sznai, Eszterh\u00e1zy K\u00e1roly University, Eger, Hungary<\/li>\n<li>Temur Kutsia, RISC, Johannes Kepler University Linz, Austria<\/li>\n<li>Dorel Lucanu, Alexandru Ioan Cuza University, Romania<\/li>\n<li>Ana Sokolova, University of Salzburg, Austria<\/li>\n<li>Sorin Stratulat, Universit\u00e9 de Lorraine, Metz, France<\/li>\n<li>Jun Sun, Singapore University of Technology and Design, Singapore<\/li>\n<li>Josef Urban, Czech Technical University in Prague, Czechia<\/li>\n<li>Tjark Weber, Uppsala University, Sweden<\/li>\n<li>Sarah Winkler, University of Verona, Italy<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Topics automatic reasoning formal system verification formal verification and synthesis software quality assessment static analysis timing analysis Chairs Nikolaj Bjorner, Microsoft, Redmond, USA Laura Kovacs, Technical University of Vienna, Austria Program Committee Stefan Andrei, Lamar University, USA M\u0103d\u0103lina Era\u0219cu, Institute e-Austria Timi\u0219oara and West University of Timi\u0219oara, Romania Marijn Heule, Carnegie Mellon University, USA Luk\u00e1\u0161 [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":102,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-604","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/comments?post=604"}],"version-history":[{"count":23,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/604\/revisions"}],"predecessor-version":[{"id":2472,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/604\/revisions\/2472"}],"up":[{"embeddable":true,"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/pages\/102"}],"wp:attachment":[{"href":"http:\/\/synasc.ro\/2020\/wp-json\/wp\/v2\/media?parent=604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}