The Alpine Verification Meeting<\/p>\n\n\n\n
in the framework of<\/em><\/p>\n\n\n\n SYNASC 2021 Timisoara, Romania Workshop deadlines<\/strong><\/p>\n\n\n\n Workshop description<\/strong><\/p>\n\n\n\n The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.<\/p>\n\n\n\n Submission of papers<\/strong> <\/p>\n\n\n\n We invite submissions containing original research results in the form of: Papers of up to 8 pages prepared according to the CPS template<\/a> must be submitted electronically using the submission system that will be later accessible through EasyChair<\/a>. Publication<\/strong><\/p>\n\n\n\n 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 Services(CPS) (submitted in IEEE Xplore).<\/p>\n","protected":false},"excerpt":{"rendered":" The Alpine Verification Meeting in the framework of SYNASC 202123rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania 7-10 December, 2021 Workshop deadlines 31 August 2021: Paper submission (extended deadline) 30 September 2021: Notification of acceptance 15 October 2021: Registration 15 October 2021: Revised papers according to the reviews 7-10 December […]<\/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-412","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/412","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=412"}],"version-history":[{"count":5,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/412\/revisions"}],"predecessor-version":[{"id":473,"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/pages\/412\/revisions\/473"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2021\/wp-json\/wp\/v2\/media?parent=412"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing<\/p>\n\n\n\n
7-10 December, 2021<\/p>\n\n\n\n
+ full research papers
+ short papers (work in progress)<\/p>\n\n\n\n
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