{"ID":2870899,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2509.11877","arxiv_id":"2509.11877","title":"Proceedings 9th edition of Working Formal Methods Symposium","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.","short_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.","url_abs":"https://arxiv.org/abs/2509.11877","url_pdf":"https://arxiv.org/pdf/2509.11877v1","authors":"[\"Andrei Arusoaie\",\"Horaţiu Cheval\",\"Radu Iosif\"]","published":"2025-09-15T12:57:29Z","proceeding":"cs.LO","tasks":"[\"cs.LO\",\"cs.PL\",\"cs.SE\"]","methods":"[]","has_code":false}