{"id":78,"date":"2022-01-11T12:00:11","date_gmt":"2022-01-11T11:00:11","guid":{"rendered":"https:\/\/project.inria.fr\/from22\/?page_id=78"},"modified":"2022-10-12T13:18:59","modified_gmt":"2022-10-12T11:18:59","slug":"call-for-papers","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/from22\/","title":{"rendered":"Home"},"content":{"rendered":"
\n
\n
\n
\n
\n
\n

The Working Formal Methods Symposium (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. Formal methods emphasize the use of mathematical techniques and rigor for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods\/frameworks.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n

\n
\n
\n
\n
\n
\n

FROM symposiums are\u00a0 organized by the\u00a0Faculty of Mathematics and Computer Science of the University of Bucharest<\/a>, the\u00a0Faculty of Mathematics and Computer Science of the Babes-Bolyai University of Cluj-Napoca<\/a>, the\u00a0Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi<\/a>, and the\u00a0\u00a0Faculty of Mathematics and Computer Science of the West University of Timi\u0219oara<\/a>.<\/p>\n

FROM 2022 is the sixth event in a yearly workshop series.\u00a0The first edition<\/a>\u00a0was held in 2017 in Bucharest,\u00a0the second edition<\/a>\u00a0was held in 2018 in Ia\u015fi,\u00a0the third edition<\/a>\u00a0was held in 2019 in Timi\u015foara.\u00a0The fourth edition\u00a0<\/a>was organized in Cluj-Napoca in 2020 as a virtual event due to the COVID-19 pandemic. The fifth edition<\/a>\u00a0(2021), in\u00a0Timi\u015foara, was also organized as a virtual event.<\/p>\n

FROM 2022 was held in conjunction with WOLLIC 2022.<\/a><\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n","protected":false},"excerpt":{"rendered":"

The Working Formal Methods Symposium (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. Formal methods emphasize the use of\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":1179,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-78","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/78","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/users\/1179"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/comments?post=78"}],"version-history":[{"count":23,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/78\/revisions"}],"predecessor-version":[{"id":171,"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/pages\/78\/revisions\/171"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/from22\/wp-json\/wp\/v2\/media?parent=78"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}