{"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":"2018-05-31T08:04:36","modified_gmt":"2018-05-31T06:04:36","slug":"logic-and-programming-2","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2018\/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 <\/strong>\n<ul style=\"list-style-type: circle;\">\n<li>Wolfgang\u00a0 Ahrendt, Chalmers University of Technology, Sweden<\/li>\n<li>Stefan Andrei,\u00a0\u00a0 <em>Lamar University, <\/em>USA<\/li>\n<li>Adrian Champion, <em>The University of Tokyo, Japan<\/em><\/li>\n<li>Madalina Erascu<em>, Institute e-Austria and West University of Timisoara, <\/em>Romania<\/li>\n<li>Vijay\u00a0 Ganesh,\u00a0 <em>Waterloo University<\/em>, Canada<\/li>\n<li>Arie Gurfinkel, <em>Software Engineering Institute, Carnegie Mellon University, <\/em>USA<\/li>\n<li>Ashutosh Gupta,<em> TIFR, India<\/em><\/li>\n<li>Marijn\u00a0 Heule, <em>The University of Texas at Austin<\/em>, USA<\/li>\n<li>Jens\u00a0 Knoop, <em>TU Vienna<\/em>, Austria<\/li>\n<li>Igor Konnov, <em>Vienna University of Technology, <\/em>Austria<\/li>\n<li>Temur Kutsia,<em> Johannes Kepler University Linz, Austria<\/em><\/li>\n<li>Dorel Lucanu, <em>Alexandru Ioan Cuza University, <\/em>Romania<\/li>\n<li>Jie Luo, <em>SKLSDE,<\/em> <em>Beihang University, <\/em>China<\/li>\n<li>Maria Cristina Marinescu, <em>Barcelona Supercomputing Center, Spain<\/em><\/li>\n<li>Nina Narodytska, <em>USA<\/em><\/li>\n<li>Ruzica\u00a0 Piskac, <em>Yale University, USA<\/em><\/li>\n<li>Giles Reger, <em>University of Manchester, UK<\/em><\/li>\n<li>Philipp\u00a0 Ruemmer, <em>Uppsala University, Sweden<\/em><\/li>\n<li>Martina\u00a0 Seidl, Johannes Kepler University Linz, Austria<\/li>\n<li>Viorica Sofronie-Stokkermans, <em>University Koblenz-Landau, <\/em>Germany<\/li>\n<li>Sorin Stratulat, <em>Universit\u00e9 de Lorraine, <\/em>Metz, France<em><br \/>\n<\/em><\/li>\n<li>Martin Suda, <em>Technische Universit\u00e4t Wien, Austria<\/em><\/li>\n<li>Yakir Vizel, <em>Princeton University, USA<\/em><\/li>\n<li>Margus\u00a0 Veanes, <em>Microsoft Research, USA<\/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 Wolfgang\u00a0 Ahrendt, Chalmers University of Technology, Sweden Stefan Andrei,\u00a0\u00a0 Lamar University, USA Adrian Champion, The University [&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\/2018\/wp-json\/wp\/v2\/pages\/604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/comments?post=604"}],"version-history":[{"count":17,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/604\/revisions"}],"predecessor-version":[{"id":1802,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/604\/revisions\/1802"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/pages\/102"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2018\/wp-json\/wp\/v2\/media?parent=604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}