arXiv preprint ·
Proceedings Tenth Symposium on Working Formal Methods
- Published
- Source
- arXiv preprint, posted before peer review
- DOI
- 10.4204/EPTCS.452
- Original
- Read it at arXiv
- Topics
Abstract
The 10th Working Formal Methods Symposium (FROM 2026) was held in Timişoara, Romania on September 15-17, 2026. It was organized jointly by the Faculty of Informatics of West University of Timiş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.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Software Engineering
Order-Invariant Answers, Order-Sensitive Representations in Mathematical Reasoning
A 51-Addition Alternative-Basis Kernel for Rank-23 $3\times3$ Matrix Multiplication
LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
Policy-as-Skill: Governed LLM Decision Support with Evidence, Deterministic Control, and Audit
Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Get the few papers worth your time in Software Engineering every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.