{"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":"2019-05-27T14:10:50","modified_gmt":"2019-05-27T12:10:50","slug":"logic-and-programming-2","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2019\/tracks\/logic-and-programming-2\/","title":{"rendered":"Logic and Programming"},"content":{"rendered":"<ul>\n<li><strong>Chairs<\/strong>\n<ul style=\"list-style-type: circle;\">\n<li>Nikolaj Bjorner, <em>Microsoft, Redmond, USA<\/em><\/li>\n<li>Tudor Jebelean, <em>Johannes Kepler University, Linz, Austria<\/em><\/li>\n<li>Laura Kovacs, <em>Technical University of Vienna, Austria<\/em><\/li>\n<\/ul>\n<\/li>\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>PC members<br \/>\n<\/strong><\/p>\n<ul>\n<li>Stefan Andrei, <em>Lamar University, USA<\/em><\/li>\n<li>Sebastien Bardin, <em>CEA LIST, France<\/em><\/li>\n<li>Constantin Enea, <em>IRIF, University Paris Diderot, France<\/em><\/li>\n<li>M\u0103d\u0103lina Era\u0219cu,<em> Institute e-Austria Timi\u0219oara and West University of Timi\u0219oara, Romania<\/em><\/li>\n<li>Cezary Kaliszyk, <em>University of Innsbruck, Austria<\/em><\/li>\n<li>Benjamin Kiesl, <em>CISPA Helmholtz Center for Information Security, Germany<\/em><\/li>\n<li>Boris Konev,<em> University of Liverpool, UK<\/em><\/li>\n<li>Gergely Kov\u00e1sznai, <em>Eszterh\u00e1zy K\u00e1roly University, Eger, Hungary<\/em><\/li>\n<li>Temur Kutsia, <em>RISC, Johannes Kepler University Linz, Austria<\/em><\/li>\n<li>Dorel Lucanu, <em>Alexandru Ioan Cuza University, Romania<\/em><\/li>\n<li>Kuldeep S. Meel, <em>National University of Singapore, Singapore<\/em><\/li>\n<li>Zvonimir Rakamaric, <em>University of Utah, USA<\/em><\/li>\n<li>Viorica Sofronie-Stokkermans, <em>University Koblenz-Landau, Germany<\/em><\/li>\n<li>Ana Sokolova, <em>University of Salzburg, Austria<\/em><\/li>\n<li>Sorin Stratulat, <em>Universit\u00e9 de Lorraine, Metz, France<\/em><\/li>\n<li>Martin Suda, <em>Czech Technical University, Czech Republic<\/em><\/li>\n<li>Alexander J. Summers,<em> ETH Zurich, Switzerland<\/em><\/li>\n<li>Jun Sun, <em>Singapore University of Technology and Design, Singapore<\/em><\/li>\n<li>Tjark Weber, <em>Uppsala University, Sweden<\/em><\/li>\n<li>Damien Zufferey, <em>MPI-SWS, Germany<\/em><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Chairs Nikolaj Bjorner, Microsoft, Redmond, USA Tudor Jebelean, Johannes Kepler University, Linz, Austria Laura Kovacs, Technical University of Vienna, Austria Topics automatic reasoning formal system verification formal verification and synthesis software quality assessment static analysis timing analysis PC members Stefan Andrei, Lamar University, USA Sebastien Bardin, CEA LIST, France Constantin Enea, IRIF, University Paris Diderot, [&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":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/comments?post=604"}],"version-history":[{"count":19,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/604\/revisions"}],"predecessor-version":[{"id":2066,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/604\/revisions\/2066"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/pages\/102"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2019\/wp-json\/wp\/v2\/media?parent=604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}