Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
57 results · clear filters Sort: newest oldest name
- International Conference on Fundamental Approaches to Software Engineering (FASE 2004, FASE)MathematicsComputer and information sciencese1036p5
- International Conference on Foundations of Software Science and Computation Structure (FOSSACS 2004, FoSSaCS)MathematicsComputer and information sciencese103ek3
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004, TACAS)MathematicsComputer and information sciencese1088xb
- European Conferences on Theory and Practice of Software (ETAPS 2004)Mathematicse12gk6w
- 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)MathematicsComputer and information sciencese113m11
- 14th International Symposium on Distributed Computing (DISC 2000, DISC)MathematicsComputer and information sciencese108tcw
- International Symposium on Formal Methods (FM 1994)MathematicsComputer and information sciencese129rjd
As JSON: https://labs.confref.org/api/search?field=1.1&country=ES&page=3