Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
8 results · clear filters Sort: newest oldest name
- Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026, Rio de Janeiro, Brazil, April 12-13, 2026Computer and information sciencese11a0xe
- Formal Methods in Software Engineering (FormaliSE) (FormaliSE)Computer and information sciencess10cqm6
- 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025Computer and information sciencese11a0wg
- Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024Computer and information sciencese11a0vj
- 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023Computer and information sciencese11a0tm
- 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022Computer and information sciencese11a0sp
- 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021Computer and information sciencese11a3y9
- FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 (FormaliSE@ICSE 2020)Computer and information sciencese10fw6r
As JSON: https://labs.confref.org/api/search?series=s10cqm6&from=2020&to=2029