Proceedings 9th edition of Working Formal Methods Symposium

September 15, 2025 ยท The Ethereal ยท ๐Ÿ› Electronic Proceedings in Theoretical Computer Science

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Andrei Arusoaie, Horaลฃiu Cheval, Radu Iosif arXiv ID 2509.11877 Category cs.LO: Logic in CS Cross-listed cs.PL, cs.SE Citations 0 Venue Electronic Proceedings in Theoretical Computer Science Last Checked 5 months ago
Abstract
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, IaลŸi, Romania on September 17-19, 2025.
Community shame:
Not yet rated
๐Ÿ“„ View on arXiv ๐ŸŒ View on ar5iv ๐Ÿ“‘ PDF ๐ŸŽ‰ Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS