{"id":178,"date":"2025-03-17T12:02:24","date_gmt":"2025-03-17T12:02:24","guid":{"rendered":"http:\/\/synasc.ro\/2026-new\/?page_id=178"},"modified":"2026-07-21T13:07:09","modified_gmt":"2026-07-21T13:07:09","slug":"logic-and-programming","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/tracks\/logic-and-programming\/","title":{"rendered":"Logic and Programming"},"content":{"rendered":"\t\t
\n\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

TOPICS OF INTEREST<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\n
\n
    \n
  • automatic reasoning<\/li>\n
  • formal system verification<\/li>\n
  • formal verification and synthesis<\/li>\n
  • software quality assessment<\/li>\n
  • static analysis<\/li>\n
  • timing analysis<\/li>\n
  • automated testing<\/li>\n<\/ul>\n<\/div>\n<\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
    \n\t\t\t\t\t

    TRACK CHAIRS<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
    \n\t\t\t\t\t\t\t\t\t
    • Nikolaj Bjorner<\/strong>, Microsoft Research, USA<\/li>
    • <\/b>Isabela Dr\u0103mnesc<\/strong>, West University of Timisoara, Romania<\/li>
    • <\/b>Laura Kovacs<\/strong>, Technical University of Vienna, Austria<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t

      PROGRAM COMMITTEE<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t\t\t\t\t
      • Martin Blicha<\/strong>, Argot Collective, Czech Republic<\/li>
      • M\u0103d\u0103lina\u00a0Era\u0219cu<\/strong>,\u00a0West University of Timisoara, Romania<\/li>
      • Marton Hajdu<\/strong>, Technical University of Vienna, Austria<\/li>
      • Hanna Lachnitt<\/strong>, Stanford University, USA<\/li>
      • Dorel Lucanu<\/strong>, Alexandru Ioan Cuza University, Romania<\/li>
      • Viorica Sofronie-Stokkermans<\/strong>, University of Koblenz, \u00a0Germany<\/li>
      • Sorin Stratulat<\/strong>,\u00a0Universit\u00e9 de Lorraine, Metz, France<\/li>
      • Martin Suda, <\/strong>Czech Technical University in Prague, Czechia<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

        TOPICS OF INTEREST 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 Isabela Dr\u0103mnesc, West University of Timisoara, Romania Laura Kovacs, Technical University of Vienna, Austria PROGRAM COMMITTEE Martin Blicha, Argot Collective, Czech Republic M\u0103d\u0103lina\u00a0Era\u0219cu,\u00a0West University of Timisoara, Romania […]<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":152,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-178","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/178","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=178"}],"version-history":[{"count":31,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/178\/revisions"}],"predecessor-version":[{"id":1868,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/178\/revisions\/1868"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/152"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}