Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part IComputer and information sciencese113jrm
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025Computer and information sciencese11hn9k
- International Conference on Formal Methods and Models for System Design (MEMOCODE)MathematicsComputer and information sciencess10mqzz
- 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024Computer and information sciencese11hn8n
- 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023Computer and information sciencese11hn7q
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)MathematicsComputer and information sciencese11hn6s
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2021)MathematicsComputer and information sciencese11hn5v
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)MathematicsComputer and information sciencese11hn4x
As JSON: https://labs.confref.org/api/search?discipline=Q6504747&from=2020&to=2029