{"id":414,"date":"2021-08-03T10:59:27","date_gmt":"2021-08-03T10:59:27","guid":{"rendered":"http:\/\/synasc.ro\/2021\/?page_id=414"},"modified":"2021-08-24T08:48:19","modified_gmt":"2021-08-24T08:48:19","slug":"from","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2021\/from\/","title":{"rendered":"FROM 2021"},"content":{"rendered":"\n<p class=\"has-text-align-center\"><em>in the framework of<\/em><\/p>\n\n\n\n<p class=\"has-text-align-center\">SYNASC 2021<br>23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing<\/p>\n\n\n\n<p class=\"has-text-align-center\">Timisoara, Romania<br> 7-10 December, 2021<\/p>\n\n\n\n<p><strong>Workshop deadlines<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>29 September 2021: Deadline for full paper submission<\/li><li>7 October 2021: Notification of acceptance<\/li><li>15 October 2021: Registration<\/li><li>15 October 2021: Submission of revised papers and registration<\/li><li>7-10 December 2021: Workshop<\/li><\/ul>\n\n\n\n<p><strong>Workshop description<\/strong><\/p>\n\n\n\n<p>FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and\/or make the formal methods to work by creating or using software tools that apply theoretical contributions.<\/p>\n\n\n\n<p>FROM 2021 is the fifth event in a yearly workshop series. The previous editions were held in Bucuresti, Iasi, Timisoara, and Cluj.<\/p>\n\n\n\n<p> <strong>Submission of papers<\/strong> <\/p>\n\n\n\n<p>We invite submissions containing original research results in the form of:<br>+ full research papers<br>+ short papers (work in progress)<\/p>\n\n\n\n<p>Papers of up to 8 pages prepared according to the <a href=\"https:\/\/www.ieee.org\/conferences_events\/conferences\/publishing\/templates.html\">CPS template<\/a> must be submitted electronically using the submission system that will be later accessible through <a href=\"http:\/\/www.easychair.org\/conferences\/?conf=synasc2021\">EasyChair<\/a>.<br>Research papers must contain original research results not submitted and not published elsewhere. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.<\/p>\n\n\n\n<p><strong>Publication<\/strong><\/p>\n\n\n\n<p>Accepted research papers should be presented at the conference and the best papers will be selected for publication in the proceedings published by Conference Publishing Service (CPS) (submitted in IEEE Xplore)<\/p>\n\n\n\n<p>We intend to invite authors of the best original contributions &#8212; regular or short &#8212; to submit extended versions to a special issue of a journal. For previous editions, we published selected papers in Fundamenta Informaticae (2018) and Journal of Logical and Algebraic Methods in Programming (2019).<\/p>\n\n\n\n<p>Link to the page: https:\/\/from2021.cs.unibuc.ro\/<\/p>\n\n\n\n<p><strong>Submission<\/strong><\/p>\n\n\n\n<p>Papers of up to 8 pages prepared according to the <a href=\"https:\/\/www.ieee.org\/conferences\/publishing\/templates.html\" data-type=\"URL\" data-id=\"https:\/\/www.ieee.org\/conferences\/publishing\/templates.html\">CPS template<\/a> must be submitted electronically through <a href=\"https:\/\/easychair.org\/my\/conference?conf=synasc2021\" data-type=\"URL\" data-id=\"https:\/\/easychair.org\/my\/conference?conf=synasc2021\">EasyChair<\/a> by making a new submission to the track &#8220;Working Formal Methods Symposium&#8221;.<\/p>\n\n\n\n<p>Research papers must contain original research results not submitted and not published elsewhere. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.<\/p>\n\n\n\n<p><strong>Program Committee<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Andrei Arusoaie, Alexandru Ioan Cuza University of Ia\u0219i<\/li><li>Adrian Cr\u0103ciun, West University of Timi\u0219oara<\/li><li>Florin Cr\u0103ciun, Babe\u0219-Bolyai University of Cluj-Napoca<\/li><li>C\u0103t\u0103lin Dima, Universit\u00e9 Paris-Est Cr\u00e9teil<\/li><li>Ioana Leu\u015ftean, University of Bucharest<\/li><li>Lauren\u021biu Leu\u015ftean, University of Bucharest (Co-chair)<\/li><li>Dorel Lucanu, Alexandru Ioan Cuza University of Ia\u0219i<\/li><li>Mircea Marin, West University of Timi\u0219oara (Co-chair)<\/li><li>Simona Motogna, Babe\u0219-Bolyai University of Cluj-Napoca<\/li><li>David Nowak, CNRS &amp; University of Lille<\/li><li>Grigore Ro\u015fu, University of Illinois at Urbana-Champaign<\/li><li>Vlad Rusu, INRIA Lille Nord Europe<\/li><li>Viorica Sofronie-Stokkermans, University Koblenz-Landau<\/li><\/ul>\n\n\n\n<p><strong>Organizing Committee<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Isabela Dr\u0103mnesc, West University of Timi\u0219oara<\/li><li>Mircea Marin, West University of Timi\u0219oara (Chair)<\/li><li>Natalia Moang\u0103, University of Bucharest<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>in the framework of SYNASC 202123rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania 7-10 December, 2021 Workshop deadlines 29 September 2021: Deadline for full paper submission 7 October 2021: Notification of acceptance 15 October 2021: Registration 15 October 2021: Submission of revised papers and registration 7-10 December 2021: Workshop Workshop [&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-414","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/414","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/comments?post=414"}],"version-history":[{"count":13,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/414\/revisions"}],"predecessor-version":[{"id":509,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/414\/revisions\/509"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=414"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}