Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- 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=Q1569697&from=2020&to=2029