Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
180 results · clear filters Sort: newest oldest name
- 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2012, FMICS)MathematicsComputer and information sciencese103c36
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)MathematicsComputer and information sciencese11hmwd
- 4th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '12, EICS 2012)MathematicsComputer and information sciencese10f0y3
- International Conference on Integrated Formal Methods (IFM 2012, IFM)Computer and information sciencese104xhp
- Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected PapersComputer and information sciencese11s1ch
- Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)Computer and information sciencese10fwh1
- International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)MathematicsComputer and information sciencese104bga
- International Symposium on Formal Methods for Components and Objects (FMCO 2011, FMCO)Computer and information sciencese103btr
- 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011, FMICS)MathematicsComputer and information sciencese103c28
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011, MEMOCODE)MathematicsComputer and information sciencese11hmvf
- 17th International Symposium on Formal Methods (FM 2011, FM)MathematicsComputer and information sciencese103b8x
- 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '11, EICS 2011)MathematicsComputer and information sciencese10f0z1
- NASA Formal Methods Symposium (NFM 2011, NFM)Computer and information sciencese106jf2
- Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011Computer and information sciencese1117mb
- Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)Computer and information sciencese107m0w
- International Conference on Integrated Formal Methods (IFM 2010, IFM)Computer and information sciencese104xgr
- 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010, FMICS)MathematicsComputer and information sciencese103c1a
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010, MEMOCODE)MathematicsComputer and information sciencese11hmth
- 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)MathematicsComputer and information sciencese10f10z
- 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
As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q1049183&page=5