Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
180 results · clear filters Sort: newest oldest name
- Companion Proceedings of the 18th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2026, Patras, Greece, 30 June 2026- 3 July 2026Computer and information sciencese1117kd
- Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part IComputer and information sciencese113jrm
- Formal Methods for Industrial Critical Systems - 31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, ProceedingsComputer and information sciencese113mbd
- 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
- Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, ProceedingsComputer and information sciencese113maf
- Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, ProceedingsComputer and information sciencese11bx6y
- Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025Computer and information sciencese11hn9k
- Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, ProceedingsComputer and information sciencese11s1yc
- 26th International Symposium on Formal Methods (FM 2024)MathematicsComputer and information sciencese113jqp
- 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '24)MathematicsComputer and information sciencese1117fp
- Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected PapersComputer and information sciencese1117gk
- Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, ProceedingsComputer and information sciencese113m9h
- Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, ProceedingsComputer and information sciencese11bx50
- 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024Computer and information sciencese11hn8n
- Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, ProceedingsComputer and information sciencese11s1wg
- 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
As JSON: https://labs.confref.org/api/search?kind=event&field=1&discipline=Q1049183