{"id":12,"date":"2022-02-25T07:20:15","date_gmt":"2022-02-25T07:20:15","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=12"},"modified":"2024-04-03T09:17:51","modified_gmt":"2024-04-03T09:17:51","slug":"general-information","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2024\/","title":{"rendered":"General Information"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">SYNASC 2024<\/h2>\n\n\n\n<p><strong>In conjunction with<a href=\"https:\/\/from2024.uvt.ro\/\"> FROM &#8211; Working Formal Methods Symposium 2024<\/a><\/strong><\/p>\n\n\n\n<p>SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference then ranges from symbolic and numeric computation to formal methods applied to programming, artificial intelligence, distributed computing and computing theory. The interplay between these areas, in fact, is essential in the current scenario where economy and society demand for the development of complex, data intensive, trustable and high performant computational systems.<\/p>\n\n\n\n<p>In this context we invite for:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Research paper submissions<\/li><li>Special session proposals<\/li><li>Satellite workshop proposals<\/li><li>Tutorial proposals<\/li><\/ul>\n\n\n\n<p>SYNASC 2024 is organized by:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.info.uvt.ro\/\" target=\"_blank\">Department of Computer Science<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/www.uvt.ro\/\" target=\"_blank\">West University of Timisoara<\/a>, Romania;<\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.risc.uni-linz.ac.at\/\" target=\"_blank\">Research Institute for Symbolic Computation<\/a>,&nbsp;<a rel=\"noreferrer noopener\" href=\"http:\/\/www.jku.at\/\" target=\"_blank\">Johannes Kepler University<\/a>, Linz, Austria;<\/li><li><a rel=\"noreferrer noopener\" href=\"http:\/\/www.ieat.ro\/\" target=\"_blank\">Research Institute e-Austria<\/a>, Timisoara, Romania.<\/li><\/ul>\n\n\n\n<p>and it is held <strong>September 16-19 2024 in Timi\u0219oara, Romania<\/strong>. <\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><a href=\"http:\/\/synasc.ro\/previous-editions\/\" data-type=\"URL\" data-id=\"http:\/\/synasc.ro\/previous-editions\/\" target=\"_blank\" rel=\"noreferrer noopener\">Previous SYNASC editions<\/a><\/h3>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>SYNASC 2024 In conjunction with FROM &#8211; Working Formal Methods Symposium 2024 SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference then ranges from symbolic and numeric computation to formal methods applied to programming, artificial intelligence, distributed computing [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-12","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/12","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/comments?post=12"}],"version-history":[{"count":24,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":950,"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/pages\/12\/revisions\/950"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2024\/wp-json\/wp\/v2\/media?parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}