{"id":178,"date":"2025-03-17T12:02:24","date_gmt":"2025-03-17T12:02:24","guid":{"rendered":"https:\/\/synasc.ro\/2025-new\/?page_id=178"},"modified":"2025-07-21T13:42:05","modified_gmt":"2025-07-21T13:42:05","slug":"logic-and-programming","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2025\/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 COMMITEE<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t\t\t\t\t
      • <\/b>Erika Abraham<\/b><\/strong>, RWTH Aachen University, Germany<\/li>
      • <\/b>\u0218tefan Andrei<\/b><\/strong>, A.I. Cuza University, Ia\u0219i, Romania<\/li>
      • <\/b>Isabela Dr<\/b><\/strong>\u0103mnesc, <\/b><\/strong>West University of Timi\u0219oara, Romania<\/li>
      • <\/b>M\u0103d\u0103lina Era\u0219cu<\/b><\/strong>, West University of Timi\u0219oara, Romania<\/li>
      • <\/b>Grigory Fedyukovich<\/b><\/strong>, Florida State University, United States<\/li>
      • <\/b>Luk\u00e1\u0161 Hol\u00edk<\/b><\/strong>, Brno University of Technology, Czechia<\/li>
      • <\/b>Temur Kutsia<\/b><\/strong>, RISC, Johannes Kepler University Linz, Austria<\/li>
      • <\/b>Michael Rawson<\/b><\/strong>, Technical University of Vienna, Austria<\/li>
      • Kristin Yvonne Rozier<\/strong>, Iowa State University, USA<\/li>
      • <\/b>Philipp R\u00fcmmer<\/b><\/strong>,<\/strong>University of Regensburg, Germany<\/li>
      • <\/b>Tanja Schindler<\/b><\/strong>, University of Basel, Switzerland<\/li>
      • <\/b>Sorin Stratulat<\/b><\/strong>, Universit\u00e9 de Lorraine, France<\/li>
      • <\/b>Margus Veanes<\/b><\/strong>, Microsoft, USA<\/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 Arie Gurfinkel, University of Waterloo, Canada Laura Kovacs, Technical University of Vienna, Austria PROGRAM COMMITEE Erika Abraham, RWTH Aachen University, Germany \u0218tefan Andrei, A.I. Cuza University, Ia\u0219i, […]<\/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\/2025\/wp-json\/wp\/v2\/pages\/178","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/comments?post=178"}],"version-history":[{"count":16,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/178\/revisions"}],"predecessor-version":[{"id":1236,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/178\/revisions\/1236"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/152"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/media?parent=178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}