Search results

• Academic Field:Formal Methods
  Systems Formal Methods IFM - International Conference on Integrated Formal Methods Formal Methods MEMOCODE - International Conference on Formal Methods and
  82 bytes (1,026 words) - 06:51, 20 October 2022
• Special Interest Group on Computer-Human Interaction, Association for Computing Machinery
  EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking
  88 bytes (3,232 words) - 09:17, 1 June 2023
• Software Verification
  Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation
  110 bytes (346 words) - 16:55, 20 October 2022
•  FMICS - International Workshop on Formal Methods for Industrial Critical Systems
  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-03
  622 bytes (378 words) - 11:34, 21 August 2023
• Organization:ERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics
  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 20
  89 bytes (304 words) - 09:41, 21 August 2023
• Model Checking
  Series List MEMOCODE - International Conference on Formal Methods and Models for System Design Formal Methods Software Verification Model Checking Events List
  104 bytes (333 words) - 12:22, 20 October 2022
•  FM - International Symposium on Formal Methods
  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 2019
  573 bytes (308 words) - 09:00, 17 August 2023
•  MEMOCODE - International Conference on Formal Methods and Models for System Design
  International Conference on Formal Methods and Models for System Design Recurrence Period 1 Recurrence Unit year Academic Field Formal Methods, Model Checking, Software
  397 bytes (332 words) - 08:00, 12 October 2022
• Computer Science
  Computer Science FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation
  104 bytes (874 words) - 09:08, 12 September 2022
•  EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System
  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 EICS
  578 bytes (296 words) - 10:14, 24 July 2023
• Human Computer Interaction
  EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing ETRA - Eye Tracking
  104 bytes (6,702 words) - 10:01, 20 October 2022
• Logic Programming
  Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation
  104 bytes (44 words) - 11:28, 20 October 2022
• Organization:Formal Methods Europe
  Wikidata ID Q5469947 Event Series List FM - International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory
  71 bytes (22 words) - 07:17, 13 March 2023
• Neural Networks
  Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation
  104 bytes (503 words) - 12:55, 20 October 2022
•  SEFM - International Conference on Software Engineering and Formal Methods
  International Conference on Software Engineering and Formal Methods Academic Field Computer Science, Formal Methods, Software Engineering DOI https://doi.org/10
  553 bytes (156 words) - 16:38, 4 January 2024
•  IFM - International Conference on Integrated Formal Methods
  Title International Conference on Integrated Formal Methods Recurrence Unit year Academic Field Formal Methods Official Website http://www.ifmconference.org
  414 bytes (185 words) - 07:59, 19 September 2022
• Eindhoven University of Technology
  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-07
  88 bytes (140 words) - 09:54, 8 March 2023
• Automation Theory
  Series List FM - International Symposium on Formal Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation
  104 bytes (33 words) - 11:09, 19 October 2022
• Testing
  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-15
  39 bytes (101 words) - 13:04, 24 August 2022
•  FM 2023
  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-10
  936 bytes (193 words) - 10:54, 17 August 2023

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)