Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
15 results · clear filters Sort: newest oldest name
- Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2025, Trier, Germany, June 23-27, 2025Computer and information sciencese1117hh
- Engineering Interactive Computer Systems. EICS 2025 International Workshops - Trier, Germany, June 23-27, 2025, Revised Selected PapersComputer and information sciencese1117jf
- 25th International Symposium on Formal Methods (FM 2023)MathematicsComputer and information sciencese113jpr
- 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023Computer and information sciencese11hn7q
- 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)MathematicsComputer and information sciencese11s1rr
- Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected PapersComputer and information sciencese11s1sp
- 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)MathematicsComputer and information sciencese10dth7
- 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '10, EICS 2010)MathematicsComputer and information sciencese10f10z
- International Conference on Integrated Formal Methods (IFM 2009, IFM)Computer and information sciencese104xfv
- 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)MathematicsComputer and information sciencese103byg
- 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)MathematicsComputer and information sciencese103bxj
- International Symposium on Formal Methods (FM 2001)MathematicsComputer and information sciencese129rhf
- International Conference on Integrated Formal Methods (IFM 2000, IFM)Computer and information sciencese104xa5
- 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)Mathematicse129s2d
- VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, ProceedingsComputer and information sciencese113jxa
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&country=DE