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.
FROM 2026 is organized jointly by the Faculty of Informatics of the West University of Timisoara and the Institute for Logic and Data Science (ILDS), and is the tenth 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 Informatics of the West University of Timișoara. This event is co-located with the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026).
