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
- 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
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS)MathematicsComputer and information sciencess109ps3
- NASA Formal Methods Symposium (NFM)Computer and information sciencess10abw6
- ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS, EnCHIReS)MathematicsComputer and information sciencesPsychologys10c0qq
- 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
- Formal Methods in Computer-Aided Design (FMCAD)Computer and information sciencess109pp9
- International Conference on Formal Engineering Methods (ICFEM)MathematicsComputer and information sciencess109wfj
- International Conference on Integrated Formal Methods (IFM)MathematicsComputer and information sciencess10a0h7
- International Conference on Software Engineering and Formal Methods (SEFM)MathematicsComputer and information sciencess10aja4
- International Conference on Formal Methods and Models for System Design (MEMOCODE)MathematicsComputer and information sciencess10mqzz
- 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
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183