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 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.

FROM 2023 is organized jointly by the Faculty of Mathematics and Computer Science of the University of Bucharest and the Institute for Logic and Data Science (ILDS), and is the seventh event in a yearly series of symposiums organised on a rotating basis by the Faculty of Mathematics and Computer Science of the University of Bucharest, the Faculty of Mathematics and Computer Science of the Babeș-Bolyai University of Cluj-Napoca, the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iași, and the Faculty of Mathematics and Computer Science of the West University of Timișoara. 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. The sixth edition was held physically in 2022 in Iași.

This event is co-located with the ILDS Coq and Lean Autumn School 2023, for which there is a special discounted fee for FROM 2023 participants.