Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
189 results · clear filters Sort: newest oldest name
- Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected PapersComputer and information sciencese11s1xe
- 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)MathematicsComputer and information sciencese11s1tm
- 28th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2023)MathematicsComputer and information sciencese113m8k
- 15th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '23)MathematicsComputer and information sciencese12bznw
- 25th International Symposium on Formal Methods (FM 2023)MathematicsComputer and information sciencese113jpr
- Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2023, Swansea, United Kingdom, June 27-30, 2023Computer and information sciencese1117dt
- Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected PapersComputer and information sciencese1117er
- iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, ProceedingsComputer and information sciencese11bx42
- 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023Computer and information sciencese11hn7q
- 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
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2022)MathematicsComputer and information sciencese11hn6s
- 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)MathematicsComputer and information sciencese11s1rr
- 27th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2022)MathematicsComputer and information sciencese113m7n
- 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22)MathematicsComputer and information sciencese1117cw
- International Conference on Integrated Formal Methods (IFM 2022)Computer and information sciencese11bx34
- EICS '22: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 21 - 24, 2022, Companion VolumeComputer and information sciencese1117by
- 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
- 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)MathematicsComputer and information sciencese11s1pw
- 24th International Symposium on Formal Methods (FM 2021)MathematicsComputer and information sciencese113jnt
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2021)MathematicsComputer and information sciencese11hn5v
- 26th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2021)MathematicsComputer and information sciencese113m6q
- International Conference on Formal Engineering Methods (ICFEM 2020)Mathematicse10g1s9
- 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
- Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected PapersComputer and information sciencese11s1qt
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&page=2