- Systems Formal Methods IFM - International Conference on Integrated Formal Methods Formal Methods MEMOCODE - International Conference on Formal Methods and82 bytes (1,026 words) - 06:51, 20 October 2022
- EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking88 bytes (3,232 words) - 09:17, 1 June 2023
- Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation110 bytes (346 words) - 16:55, 20 October 2022
- 2023-09-18 → 2023-09-23 Formal Methods FMICS 2022 2022-09-14 → 2022-09-15 Formal Methods FMICS 2021 2021-08-24 → 2021-08-26 Formal Methods FMICS 2020 2020-09-02 → 2020-09-03622 bytes (378 words) - 11:34, 21 August 2023
- International Workshop on Formal Methods for Industrial Critical Systems Formal Methods Events List FMICS 2023 2023-09-18 → 2023-09-23 Formal Methods FMICS 2022 2089 bytes (304 words) - 09:41, 21 August 2023
- Series List MEMOCODE - International Conference on Formal Methods and Models for System Design Formal Methods Software Verification Model Checking Events List104 bytes (333 words) - 12:22, 20 October 2022
- Science Formal Methods FM 2023 2023-03-06 → 2023-03-10 Computer Science Formal Methods FM 2021 2021-11-20 → 2021-11-26 Computer Science Formal Methods FM 2019573 bytes (308 words) - 09:00, 17 August 2023
- International Conference on Formal Methods and Models for System Design Recurrence Period 1 Recurrence Unit year Academic Field Formal Methods, Model Checking, Software397 bytes (332 words) - 08:00, 12 October 2022
- Computer Science FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation104 bytes (874 words) - 09:08, 12 September 2022
- EICS '24 2024-06-24 → 2024-06-28 Formal Methods Human Computer Interaction EICS '23 2023-06-26 → 2023-06-30 Formal Methods Human Computer Interaction EICS578 bytes (296 words) - 10:14, 24 July 2023
- EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking104 bytes (6,702 words) - 10:01, 20 October 2022
- Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation104 bytes (44 words) - 11:28, 20 October 2022
- Wikidata ID Q5469947 Event Series List FM - International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory71 bytes (22 words) - 07:17, 13 March 2023
- Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation104 bytes (503 words) - 12:55, 20 October 2022
- International Conference on Software Engineering and Formal Methods Academic Field Computer Science, Formal Methods, Software Engineering DOI https://doi.org/10553 bytes (156 words) - 16:38, 4 January 2024
- Title International Conference on Integrated Formal Methods Recurrence Unit year Academic Field Formal Methods Official Website http://www.ifmconference.org414 bytes (185 words) - 07:59, 19 September 2022
- Fault-Tolerance Testing NFM 2017 2017-05-16 → 2017-05-18 Software Engineering Formal Methods Testing Safety Critical Systems MSAT-9 2016 2016-12-14 → 2016-12-1539 bytes (86 words) - 13:04, 24 August 2022
- Civil Engineering FM 2018 2018-07-15 → 2018-07-17 Computer Science Formal Methods SPIN 2016 2016-04-07 → 2016-04-08 FoSSaCS 2016 2016-04-04 → 2016-04-0788 bytes (140 words) - 09:54, 8 March 2023
- Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation104 bytes (33 words) - 11:09, 19 October 2022
- 25th International Symposium on Formal Methods Ordinal 25 Event Series FM - International Symposium on Formal Methods Start Date 2023-03-06 End Date 2023-03-10936 bytes (193 words) - 10:54, 17 August 2023