We are happy to announce that we will co-organize (in collaboration with the Faculty of Mathematics and Computer Science, University of Bucharest) the seventh Working Formal Methods Symposium — FROM 2023!
FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions. Formal methods emphasise the use of mathematical techniques and rigour in 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 and frameworks.
This event will be co-located with the ILDS-FMI Coq and Lean Autumn School 2023.
We are grateful for the generous support of our sponsors, BRD and Runtime Verification:
We are looking forward to seeing you in Bucharest!