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.
FROM 2020 is organized by the Faculty of Mathematics and Computer Science of Babes-Bolyai University, the STAR-UBB Institute, the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi, ICUB (The Research Institute of the University of Bucharest), and the Faculty of Mathematics and Computer Science of the University of Bucharest.
Due to the current pandemic situation, FROM 2020 will happen as a fully virtual conference.
FROM 2020 will be in conjunction with ICCP 2020.
FROM 2020 is the fourth event in a yearly workshop series. The first edition was FROM 2017, held in Bucharest, the second edition was held in 2018 in Iasi, while the third edition was held in 2019 in Timisoara. 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.
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.
FROM welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers.