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
- 33rd ACM International Conference on the Foundations of Software Engineering (FSE 2025)MathematicsComputer and information sciencese11tp3c
- 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)MathematicsComputer and information sciencese11s1j4
- 9th ACM International Conference on Distributed Event-Based Systems (DEBS 2015, DEBS)MathematicsComputer and information sciencese10z21v
- 20th International Symposium on Formal Methods (FM 2015, FM)MathematicsComputer and information sciencese103bbq
- 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)MathematicsComputer and information sciencese103c60
- European Conference on Object-Oriented Programming (ECOOP 2004, ECOOP)MathematicsComputer and information sciencese102hed
- 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003, FMICS)MathematicsComputer and information sciencese120q21
As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q21198&country=NO