Home

New! The program is available.

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.

FROM symposiums are  organized by the Faculty of Mathematics and Computer Science of the University of Bucharest, the Faculty of Mathematics and Computer Science of the Babes-Bolyai University of Cluj-Napoca, the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi, and the  Faculty of Mathematics and Computer Science of the West University of Timișoara.

FROM 2022 is the sixth event in a yearly workshop series. The first edition was held in 2017 in Bucharest, the second edition was held in 2018 in Iaşi, the third edition was held in 2019 in Timişoara. The fourth edition was organized in Cluj-Napoca in 2020 as a virtual event due to the COVID-19 pandemic. The fifth edition (2021), in Timişoara, was also organized as a virtual event.

FROM 2022 will be held in conjunction with WOLLIC 2022.

Comments are closed.