Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
11 results · clear filters Sort: newest oldest name
- 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)MathematicsComputer and information sciencese11s1tm
- iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, ProceedingsComputer and information sciencese11bx42
- Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected PapersComputer and information sciencese11s1vj
- EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021Computer and information sciencese1117a0
- Proceedings of the 2021 Workshops on Computer Human Interaction in IoT Applications co-located with the International Conference on Embedded Wireless Systems and Networks (EWSN 2021) and the 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Delft, Netherlands, February 17, 2021 and Eindhoven, Netherlands, June 8, 2021.Computer and information sciencese112xx1
- 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)MathematicsComputer and information sciencese11s1m0
- Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected PapersComputer and information sciencese11s1ny
- 24th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019, FMICS)MathematicsComputer and information sciencese113m4v
- Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005Computer and information sciencese120j42
- 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)Mathematicse129s0h
- VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference ContributionsComputer and information sciencese113jy8
As JSON: https://labs.confref.org/api/search?discipline=Q1049183&country=NL