{"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-02-06T13:07:23","modified_gmt":"2026-02-06T13:07:23","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
      \n
    • Nikolaj Bjorner<\/strong>, Microsoft Research, USA<\/li>\n
    • <\/b>Arie Gurfinkel<\/strong>, University of Waterloo, Canada<\/li>\n
    • <\/b>Laura Kovacs<\/strong>, Technical University of Vienna, Austria<\/li>\n<\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t

      PROGRAM COMMITTEE (TBC)<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t\t\t\t\t
        \n
      • <\/b>Erika Abraham<\/b><\/strong>, RWTH Aachen University, Germany<\/li>\n
      • <\/b>\u0218tefan Andrei<\/b><\/strong>, A.I. Cuza University, Ia\u0219i, Romania<\/li>\n
      • M\u0103d\u0103lina Era\u0219cu<\/b><\/strong>, West University of Timi\u0219oara, Romania<\/span><\/b><\/li>\n
      • <\/b>Grigory Fedyukovich<\/b><\/strong>, Florida State University, United States<\/li>\n
      • <\/b>Luk\u00e1\u0161 Hol\u00edk<\/b><\/strong>, Brno University of Technology, Czechia<\/li>\n
      • <\/b>Temur Kutsia<\/b><\/strong>, RISC, Johannes Kepler University Linz, Austria<\/li>\n
      • Philipp R\u00fcmmer<\/b><\/strong>,<\/strong>University of Regensburg, Germany<\/span><\/b><\/li>\n
      • Sorin Stratulat<\/b><\/strong>, Universit\u00e9 de Lorraine, France<\/span><\/li>\n<\/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 Arie Gurfinkel, University of Waterloo, Canada Laura Kovacs, Technical University of Vienna, Austria PROGRAM COMMITTEE (TBC) Erika Abraham, RWTH Aachen University, Germany \u0218tefan Andrei, A.I. Cuza University, […]<\/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":25,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/178\/revisions"}],"predecessor-version":[{"id":1501,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/178\/revisions\/1501"}],"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}]}}