Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
5 results · clear filters Sort: newest oldest name
- Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.Computer and information sciencese1211pc
- Symposium on Working Formal Methods (FROM)Computer and information sciencess1223ww
- Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18.Computer and information sciencese12114h
- Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023.Computer and information sciencese1210fw
- Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022.Computer and information sciencese120zw4
As JSON: https://labs.confref.org/api/search?series=s1223ww&from=2020&to=2029