Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
55 results · clear filters Sort: newest oldest name
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS)MathematicsComputer and information sciencess109ps3
- NASA Formal Methods Symposium (NFM)Computer and information sciencess10abw6
- ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS, EnCHIReS)MathematicsComputer and information sciencesPsychologys10c0qq
- Formal Methods in Computer-Aided Design (FMCAD)Computer and information sciencess109pp9
- International Conference on Formal Engineering Methods (ICFEM)MathematicsComputer and information sciencess109wfj
- International Conference on Integrated Formal Methods (IFM)MathematicsComputer and information sciencess10a0h7
- International Conference on Software Engineering and Formal Methods (SEFM)MathematicsComputer and information sciencess10aja4
- International Conference on Formal Methods and Models for System Design (MEMOCODE)MathematicsComputer and information sciencess10mqzz
- International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)MathematicsComputer and information sciencese104bef
- International Symposium on Formal Methods for Components and Objects (FMCO 2009, FMCO)Computer and information sciencese103brw
- 16th International Symposium on Formal Methods (FM 2009, FM)MathematicsComputer and information sciencese103b7z
- 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009, FMICS)MathematicsComputer and information sciencese103c0c
- International Conference on Technical Formal Methods (TFM 2009, TFM)Computer and information sciencese108c10
- 1st ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '09, EICS 2009)MathematicsComputer and information sciencese10f11x
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009, MEMOCODE)MathematicsComputer and information sciencese11hmsk
- First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. (NFM 2009, NFM)Computer and information sciencese10hjpw
- International Conference on Integrated Formal Methods (IFM 2009, IFM)Computer and information sciencese104xfv
- 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)MathematicsComputer and information sciencese103bze
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)MathematicsComputer and information sciencese11hmrn
- 15th International Symposium on Formal Methods (FM 2008, FM)MathematicsComputer and information sciencese103b61
- International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)MathematicsComputer and information sciencese104bck
- 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
- 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)MathematicsComputer and information sciencese103byg
As JSON: https://labs.confref.org/api/search?discipline=Q1049183&from=2000&to=2009