Proceedings Tenth Symposium on Working Formal Methods
In the authors' words
The 10th Working Formal Methods Symposium (FROM 2026) was held in Timi\c{s}oara, Romania on September 15-17, 2026. It was organized jointly by the Faculty of Informatics of West University of Timi\c{s}oara, the e-Austria institute, and the Institute for Logic and Data Science (ILDS). This event was co-located with the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026). This volume contains the texts of the 14 papers accepted by the Program Committee for presentation.
Main resultThe abstract does not state a limitation.
Appeared: Monday, September 28. arXiv. Preprint with a published version.
DOI: 10.4204/EPTCS.452
Published version: EPTCS 452, 2026