{"id":2,"date":"2025-03-17T08:55:22","date_gmt":"2025-03-17T08:55:22","guid":{"rendered":"https:\/\/synasc.ro\/2025-new\/?page_id=2"},"modified":"2025-04-04T07:09:45","modified_gmt":"2025-04-04T07:09:45","slug":"sample-page","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2025\/","title":{"rendered":"Home"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"2\" class=\"elementor elementor-2\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6793d95 e-con-full e-flex e-con e-parent\" data-id=\"6793d95\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-03fad4e e-con-full e-flex e-con e-child\" data-id=\"03fad4e\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4668d94 eael-dual-header-content-align-left eael-dual-header-content-mobile-align-left elementor-widget elementor-widget-eael-dual-color-header\" data-id=\"4668d94\" data-element_type=\"widget\" data-widget_type=\"eael-dual-color-header.default\">\n\t\t\t\t\t\t\t\t<div class=\"eael-dual-header\">\n\t\t\t\t<h1 class=\"title\"><span class=\"lead solid-color\"><\/span> <span>SYNASC 2025<\/span><\/h1>\t\t\t\t<span class=\"subtext\"><p>27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing<\/p><p>September 22-25, Timi\u0219oara, Rom\u00e2nia.<\/p><\/span>\n\t\t\t\t\t\t\t<\/div>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-8a25298 e-con-full e-flex e-con e-parent\" data-id=\"8a25298\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4666157 elementor-widget elementor-widget-heading\" data-id=\"4666157\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ABOUT SYNASC<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d2c4fc6 elementor-widget elementor-widget-text-editor\" data-id=\"d2c4fc6\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6f590c7 elementor-widget elementor-widget-text-editor\" data-id=\"6f590c7\" data-element_type=\"widget\" data-settings=\"{&quot;ha_cmc_switcher&quot;:&quot;yes&quot;,&quot;ha_cmc_type&quot;:&quot;color&quot;,&quot;ha_cmc_cursor_bg&quot;:&quot;#FFFFFF14&quot;,&quot;ha_default_cmc&quot;:&quot;default&quot;,&quot;ha_cmc_cursor_box_width&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_width_widescreen&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_width_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_width_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_height&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_height_widescreen&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_height_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]},&quot;ha_cmc_cursor_box_height_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:80,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\"><div class=\"elementor-widget-container\"><p>SYNASC\u00a0aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The\u00a0focus\u00a0of 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\u00a0performant\u00a0computational systems.<\/p><\/div><\/div><p>In this context we invite for:<\/p><ul><li>Research paper submissions<\/li><li>Special session proposals<\/li><li>Satellite workshop proposals<\/li><li>Tutorial proposals<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-2115089 e-con-full e-flex e-con e-parent\" data-id=\"2115089\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f6da251 elementor-widget elementor-widget-heading\" data-id=\"f6da251\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ORGANISERS<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-09cfff8 elementor-widget elementor-widget-text-editor\" data-id=\"09cfff8\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p>SYNASC 2025 is organised by:<\/p><ul><li><strong><a href=\"https:\/\/info.uvt.ro\/\">Department of Computer Science<\/a><\/strong>, West University of Timi\u0219oara, Romania<\/li><li><a href=\"https:\/\/risc.jku.at\/\"><strong>Research Institute for Symbolic Computation<\/strong><\/a>, Johannes Kepler University, Linz, Austria<\/li><li><strong><a href=\"https:\/\/ieat.ro\/\">Research Institute e-Austria<\/a><\/strong>, Timi\u0219oara, Romania<\/li><\/ul>\t\t\t\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":"<p>SYNASC 2025 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 22-25, Timi\u0219oara, Rom\u00e2nia. ABOUT SYNASC SYNASC\u00a0aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The\u00a0focus\u00a0of the conference then ranges from symbolic and numeric computation to formal methods applied to programming, [&hellip;]<\/p>\n","protected":false},"author":27,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-2","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/2","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=2"}],"version-history":[{"count":98,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":737,"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/pages\/2\/revisions\/737"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2025\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}