{"id":31,"date":"2020-05-09T16:50:51","date_gmt":"2020-05-09T16:50:51","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/from2020\/?page_id=31"},"modified":"2020-05-27T14:15:01","modified_gmt":"2020-05-27T14:15:01","slug":"about","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/from2020\/","title":{"rendered":"About The Conference"},"content":{"rendered":"\n<hr class=\"wp-block-separator has-text-color has-background has-vivid-red-background-color has-vivid-red-color\"\/>\n\n\n\n<p>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 rigour 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\n\n\n<p>FROM 2020 is organized by the  <a href=\"http:\/\/www.cs.ubbcluj.ro\/en\/\">Faculty of Mathematics and Computer Science <\/a> of <a href=\"https:\/\/www.ubbcluj.ro\/en\/\">Babes-Bolyai University<\/a>,  the<a href=\"http:\/\/starubb.institute.ubbcluj.ro\/en\/\"> STAR-UBB Institute<\/a>, the<a href=\"https:\/\/www.info.uaic.ro\/\"> <\/a><a href=\"https:\/\/www.info.uaic.ro\/en\/home-page-2\/\">Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi<\/a>, <a href=\"https:\/\/icub.unibuc.ro\/\">ICUB (The Research Institute of the University of Bucharest)<\/a>, and the <a href=\"https:\/\/fmi.unibuc.ro\/en\/\">Faculty of Mathematics and Computer Science of the University of Bucharest<\/a>.&nbsp; <\/p>\n\n\n\n<p><strong>Due to the current pandemic situation, FROM 2020 will happen as a fully virtual conference.<\/strong><\/p>\n\n\n\n<p class=\"has-background has-very-light-gray-background-color\">FROM 2020 will be in conjunction with <a rel=\"noreferrer noopener\" aria-label=\"ICCP 2020 (opens in a new tab)\" href=\"http:\/\/www.iccp.ro\/iccp2020\/\" target=\"_blank\">ICCP 2020<\/a>.<\/p>\n\n\n\n<p>FROM 2020 is the fourth event in a yearly workshop series. The first edition was <a rel=\"noreferrer noopener\" aria-label=\" (opens in a new tab)\" href=\"http:\/\/unibuc.ro\/~conference\/from2017\" target=\"_blank\">FROM 2017<\/a>, held in Bucharest,  the second edition was held in <a rel=\"noreferrer noopener\" aria-label=\" (opens in a new tab)\" href=\"http:\/\/fmse.info.uaic.ro\/event\/from-2018\" target=\"_blank\">2018 in Iasi<\/a>, while the third edition was held in <a rel=\"noreferrer noopener\" aria-label=\"2019 in Timisoara (opens in a new tab)\" href=\"http:\/\/from2019.projects.uvt.ro\/\" target=\"_blank\">2019 in Timisoara<\/a>.  The second edition papers have been published in Fundamenta Informaticae, vol.l 173, no.l 2-3, while the third edition papers are under review process in Journal of Logical and Algebraic Methods in Programming. <\/p>\n\n\n\n<p>The format of the symposium encourages interaction. The program includes invited lectures and regular contributions such that a wide range of people share their expertise, from experienced researchers to beginning PhD students.<\/p>\n\n\n\n<p>FROM welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers.<\/p>\n\n\n\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><a href=\"https:\/\/www.ubbcluj.ro\/en\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/ubb_logo_2.png\" alt=\"\" class=\"wp-image-304\" width=\"183\" height=\"110\"\/><\/a><figcaption>Babe\u0219-Bolyai University of Cluj-Napoca<\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><a href=\"http:\/\/starubb.institute.ubbcluj.ro\/en\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/star_ubb.png\" alt=\"\" class=\"wp-image-303\" width=\"180\" height=\"144\"\/><\/a><figcaption> The Institute for Advanced Studies in Science and Technology <\/figcaption><\/figure><\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><a href=\"https:\/\/icub.unibuc.ro\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/icub_logo.png\" alt=\"\" class=\"wp-image-306\" width=\"120\" height=\"120\"\/><\/a><figcaption>Research Institute of the University of Bucharest<\/figcaption><\/figure><\/div>\n\n\n\n<p><\/p>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-columns\">\n<div class=\"wp-block-column\">\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/www.info.uaic.ro\/en\/home-page-2\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" width=\"381\" height=\"110\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/compsci_iasi_logo.png\" alt=\"\" class=\"wp-image-301\"\/><\/a><figcaption>Faculty of Computer Science of the Alexandru Ioan Cuza University of Ia\u0219i<\/figcaption><\/figure>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<figure class=\"wp-block-image size-large\"><a href=\"https:\/\/fmi.unibuc.ro\/en\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" width=\"338\" height=\"94\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/fmi_unibuc.png\" alt=\"\" class=\"wp-image-302\"\/><\/a><figcaption>Faculty of Mathematics and Computer Science of the University of Bucharest<\/figcaption><\/figure>\n\n\n\n<p><\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column\">\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large is-resized\"><a href=\"http:\/\/www.cs.ubbcluj.ro\/en\/\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/FMI_logo.png\" alt=\"\" class=\"wp-image-312\" width=\"136\" height=\"136\"\/><\/a><figcaption>Faculty of Mathematics and Computer Science of the Babe\u0219-Bolyai University<\/figcaption><\/figure><\/div>\n<\/div>\n<\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/31"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/comments?post=31"}],"version-history":[{"count":47,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/31\/revisions"}],"predecessor-version":[{"id":331,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/31\/revisions\/331"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/media?parent=31"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}