Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
10 results · clear filters Sort: newest oldest name
- 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)MathematicsComputer and information sciencese12bznw
- 22nd International Symposium on Formal Methods (FM 2018, FM)MathematicsComputer and information sciencese113jh2
- 5th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '13, EICS 2013)MathematicsComputer and information sciencese10e1va
- International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)MathematicsComputer and information sciencese104bga
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)MathematicsComputer and information sciencese11hmvf
- 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)MathematicsComputer and information sciencese11s18s
- International Conference on Integrated Formal Methods (IFM 2007, IFM)Computer and information sciencese104xex
- International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)MathematicsComputer and information sciencese104baq
- International Conference on Integrated Formal Methods (IFM 2004, IFM)Computer and information sciencese104xc1
- 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)Mathematicse129ryn
As JSON: https://labs.confref.org/api/search?discipline=Q1049183&country=GB&mode=OfflineEventAttendanceMode