{"id":232,"date":"2025-03-18T09:31:17","date_gmt":"2025-03-18T09:31:17","guid":{"rendered":"https:\/\/synasc.ro\/2025-new\/?page_id=232"},"modified":"2026-02-02T04:06:55","modified_gmt":"2026-02-02T04:06:55","slug":"committees","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2025\/committees\/","title":{"rendered":"Committees"},"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

Honorary Chair<\/h2>\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\n\t\t\t\t\t\t\t
\n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Bruno Buchberger<\/strong>, Johannes Kepler University, Austria<\/p>\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

\n\t\t
\n\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

General Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

\n\t\t\t\t\t\t\t
\n\t\t\t\n\t\t\t\t\t\t\t
\n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
  • Viorel Negru<\/strong>, West University of Timi\u0219oara, Romania<\/li>
  • Daniela Zaharie<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
    \n\t\t\t\t\t

    Steering Committee<\/p>\t\t\t\t<\/div>\n\t\t\t\t

    \n\t\t\t\t\t\t\t
    \n\t\t\t\n\t\t\t\t\t\t\t
    \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
    \n\t\t\t\t\t\t\t\t\t
    • Anca Mirela Andreica<\/strong>, Babe\u0219-Bolyai University of Cluj-Napoca, Romania<\/li>
    • James Davenport<\/strong>, University of Bath, UK<\/li>
    • Tetsuo Ida<\/strong>, University of Tsukuba, Japan<\/li>
    • Tudor Jebelean<\/strong>, Johannes Kepler University, Austria<\/li>
    • Laura Kovacs<\/strong>, Technical University of Vienna, Austria<\/li>
    • Dorel Lucanu<\/strong>, \u201cAlexandru Ioan Cuza\u201d University of Ia\u0219i, Romania<\/li>
    • Viorel Negru<\/strong>, West University of Timi\u0219oara, Romania<\/li>
    • Dana Petcu<\/strong>, West University of Timi\u0219oara, Romania<\/li>
    • Alin \u0218tef\u0103nescu<\/strong>, University of Bucharest, Romania<\/li>
    • Stephen Watt<\/strong>, University of Waterloo, Canada<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t

      Special Sessions and Workshops Chair<\/p>\t\t\t\t<\/div>\n\t\t\t\t

      \n\t\t\t\t\t\t\t
      \n\t\t\t\n\t\t\t\t\t\t\t
      \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
      \n\t\t\t\t\t\t\t\t\t
      • Daniel Pop<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
        \n\t\t\t\t\t

        Finance Chair<\/span><\/p>\t\t\t\t<\/div>\n\t\t\t\t

        \n\t\t\t\t\t\t\t
        \n\t\t\t\n\t\t\t\t\t\t\t
        \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
        \n\t\t\t\t\t\t\t\t\t
        • Dana Petcu<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
          \n\t\t\t\t\t

          Web Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

          \n\t\t\t\t\t\t\t
          \n\t\t\t\n\t\t\t\t\t\t\t
          \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
          \n\t\t\t\t\t\t\t\t\t
          • Flavia Micota<\/strong>, West University of Timi\u0219oara, Romania<\/li>
          • Theodor Grumeza<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
            \n\t\t\t\t\t

            Local Organizing Committee<\/p>\t\t\t\t<\/div>\n\t\t\t\t

            \n\t\t\t\t\t\t\t
            \n\t\t\t\n\t\t\t\t\t\t\t
            \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
            \n\t\t\t\t\t\t\t\t\t
            • Monica Tirea Sancira<\/strong>, West University of Timi\u0219oara, Romania<\/li>
            • Cosmin Bonchi\u0219<\/strong>, West University of Timi\u0219oara, Romania<\/li>
            • Alexandra Forti\u0219<\/strong>, West University of Timi\u0219oara, Romania<\/li>
            • Adrian Sp\u0103taru<\/strong>, West University of Timi\u0219oara, Romania<\/li>
            • Sebastian \u0218tef\u0103nig\u0103<\/strong>, West University of Timi\u0219oara, Romania<\/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
              \n\t\t\t\t\t
              \n\t\t\t\t
              \n\t\t\t\t\t

              Program and Proceedings Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

              \n\t\t\t\t\t\t\t
              \n\t\t\t\n\t\t\t\t\t\t\t
              \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
              \n\t\t\t\t\t\t\t\t\t
              • Arie Gurfinkel<\/strong>, University of Waterloo, Canada<\/li>
              • Mircea Marin<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
                \n\t\t\t\t\t

                Track Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

                \n\t\t\t\t\t\t\t
                \n\t\t\t\n\t\t\t\t\t\t\t
                \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
                \n\t\t\t\t\t\t\t\t\t
                • Symbolic Computation
                  • James Davenport<\/strong>, University of Bath, UK<\/li>
                  • Stephen Watt<\/strong>, University of Waterloo, Ontario, Canada<\/li><\/ul><\/li>
                  • Numerical Computing
                    • Stephen Takacs<\/strong>, Johannes Kepler University Linz, Austria<\/li>
                    • Eva Kaslik<\/strong>, West University of Timi\u0219oara, Romania<\/li>
                    • Dorota Mozyrska<\/strong>, Bialystok University of Technology, Poland<\/li><\/ul><\/li>
                    • Logic and Programming
                      • Nikolaj Bjorner<\/strong>, Microsoft Research, USA<\/li>
                      • Arie Gurfinkel<\/strong>, University of Waterloo, Canada<\/li>
                      • Laura Kovacs<\/strong>, Technical University of Vienna, Austria<\/li><\/ul><\/li>
                      • Artificial Intelligence
                        • Andrei Petrovski<\/strong>, Robert Gordon University, UK<\/li>
                        • Daniela Zaharie<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul><\/li>
                        • Distributed Computing
                          • Marc Fr\u00eencu<\/strong>, West University of Timi\u0219oara, Romania<\/li>
                          • Dana Petcu<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul><\/li>
                          • Theory of Computing
                            • Mircea Marin<\/strong>, West University of Timi\u0219oara, Romania<\/li>
                            • Gabriel Istrate<\/strong>, University of Bucharest, Romania<\/li><\/ul><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
                              \n\t\t\t\t\t

                              Tutorial Chair<\/p>\t\t\t\t<\/div>\n\t\t\t\t

                              \n\t\t\t\t\t\t\t
                              \n\t\t\t\n\t\t\t\t\t\t\t
                              \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
                              \n\t\t\t\t\t\t\t\t\t
                              • Florin Forti\u0219<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
                                \n\t\t\t\t\t

                                Publicity Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

                                \n\t\t\t\t\t\t\t
                                \n\t\t\t\n\t\t\t\t\t\t\t
                                \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
                                \n\t\t\t\t\t\t\t\t\t
                                • Silviu Panica<\/strong>, Institute e-Austria Timi\u0219oara, Romania<\/li>
                                • Sebastian \u0218tef\u0103nig\u0103<\/strong>, West University of Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t
                                  \n\t\t\t\t\t

                                  Technical Committee Chairs<\/p>\t\t\t\t<\/div>\n\t\t\t\t

                                  \n\t\t\t\t\t\t\t
                                  \n\t\t\t\n\t\t\t\t\t\t\t
                                  \n\t\t\t\t\t<\/path><\/svg><\/div>\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t
                                  \n\t\t\t\t\t\t\t\t\t
                                  • Dorin Cazan<\/strong>, West University of Timi\u0219oara, Romania<\/li>
                                  • R\u0103zvan Iovescu<\/strong>, West University of Timi\u0219oara, Romania<\/li>
                                  • \u0218tefan Secrieru<\/strong>, West University of Timi\u0219oara, Romania<\/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\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

                                    Honorary Chair Bruno Buchberger, Johannes Kepler University, Austria General Chairs Viorel Negru, West University of Timi\u0219oara, Romania Daniela Zaharie, West University of Timi\u0219oara, Romania Steering Committee Anca Mirela Andreica, Babe\u0219-Bolyai University of Cluj-Napoca, Romania James Davenport, University of Bath, UK Tetsuo Ida, University of Tsukuba, Japan Tudor Jebelean, Johannes Kepler University, Austria Laura Kovacs, Technical […]<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-232","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/232","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=232"}],"version-history":[{"count":43,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/232\/revisions"}],"predecessor-version":[{"id":1302,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/232\/revisions\/1302"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/media?parent=232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}