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
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
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
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
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
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
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
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 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 '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
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
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
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
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
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
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
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 (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-07
88 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 Automation
104 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-10
936 bytes (193 words) - 10:54, 17 August 2023
International Conference on Formal Methods and Models for Codesign Ordinal 7 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
6 KB (783 words) - 15:26, 19 October 2022
Programming ICFEM - International Conference on Formal Engineering Methods Software Engineering Formal Engineering Method ICMT-1 - International Conference on Model
145 bytes (4,762 words) - 16:53, 20 October 2022
2020-06-17 → 2020-06-19 FM 2019 2019-10-07 → 2019-10-11 Computer Science Formal Methods PACBB 2019 2019-06-26 → 2019-06-28 ISAmI 2018 2018-06-20 → 2018-06-22
87 bytes (253 words) - 06:58, 30 December 2022
18th International Symposium on Formal Methods Ordinal 18 Event Series FM - International Symposium on Formal Methods Start Date 2012-08-27 End Date 2012-08-31
1,005 bytes (193 words) - 10:22, 17 August 2023
24th International Symposium on Formal Methods Ordinal 24 Event Series FM - International Symposium on Formal Methods Start Date 2021-11-20 End Date 2021-11-26
795 bytes (172 words) - 10:54, 17 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 27 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
744 bytes (194 words) - 11:35, 21 August 2023
FOS 2007 Computer And Information Sciences Event Series List FMCAD - Formal Methods in Computer-Aided Design Computer Hardware Embedded Systems Design RTAS
104 bytes (368 words) - 10:09, 1 September 2022
23rd International Symposium on Formal Methods Ordinal 23 Event Series FM - International Symposium on Formal Methods Start Date 2019-10-07 End Date 2019-10-11
968 bytes (196 words) - 09:29, 17 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 28 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
830 bytes (206 words) - 11:34, 21 August 2023
Conference on Formal Methods and Models for System Design Ordinal 20 Event Series MEMOCODE - International Conference on Formal Methods and Models for
590 bytes (158 words) - 08:17, 12 October 2022
Conference on Formal Methods and Models for System Design Ordinal 19 Event Series MEMOCODE - International Conference on Formal Methods and Models for
581 bytes (144 words) - 08:15, 12 October 2022
Research Air Transport FM 2014 2014-05-12 → 2014-05-16 Computer Science Formal Methods TARK 2005 2005-06-10 → 2005-06-12 ICFEM 2003 2003-11-05 → 2003-11-07
88 bytes (126 words) - 08:49, 12 December 2022
FOS 2007 Computer And Information Sciences Event Series List FMCAD - Formal Methods in Computer-Aided Design Computer Hardware Embedded Systems Design Events
104 bytes (332 words) - 09:20, 20 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 5 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
478 bytes (148 words) - 08:53, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 9 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
434 bytes (155 words) - 08:51, 12 October 2022
15th International Symposium on Formal Methods Ordinal 15 Event Series FM - International Symposium on Formal Methods Start Date 2008-05-26 End Date 2008-05-30
778 bytes (163 words) - 10:32, 17 August 2023
26th International Symposium on Formal Methods Ordinal 26 Event Series FM - International Symposium on Formal Methods Start Date 2024-09-09 End Date 2024-09-13
605 bytes (161 words) - 10:54, 17 August 2023
Conference on Formal Methods and Models for System Design Ordinal 16 Event Series MEMOCODE - International Conference on Formal Methods and Models for
583 bytes (158 words) - 08:26, 12 October 2022
Software Engineering and Formal Methods Ordinal 5 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2007-09-10
748 bytes (195 words) - 15:33, 4 January 2024
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 1 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
661 bytes (193 words) - 11:23, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 9 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
681 bytes (187 words) - 11:19, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 26 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
658 bytes (176 words) - 11:35, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 8 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
683 bytes (185 words) - 11:20, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 20 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
675 bytes (184 words) - 10:34, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 21 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
704 bytes (182 words) - 10:31, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 18 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
735 bytes (186 words) - 10:39, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 12 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
679 bytes (184 words) - 11:17, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 13 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
734 bytes (184 words) - 11:16, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 2 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
684 bytes (187 words) - 11:22, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 10 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
679 bytes (185 words) - 11:18, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 24 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
717 bytes (182 words) - 10:21, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 7 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
680 bytes (185 words) - 11:20, 21 August 2023
16th International Symposium on Formal Methods Ordinal 16 Event Series FM - International Symposium on Formal Methods Start Date 2009-11-02 End Date 2009-11-06
841 bytes (171 words) - 10:27, 17 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 5 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
676 bytes (184 words) - 11:21, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 3 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
686 bytes (187 words) - 11:22, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 11 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
704 bytes (191 words) - 11:17, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 17 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
686 bytes (189 words) - 10:40, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 6 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
683 bytes (189 words) - 11:21, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 25 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
733 bytes (192 words) - 11:35, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 19 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
700 bytes (178 words) - 10:36, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 4 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
689 bytes (189 words) - 11:22, 21 August 2023
21st International Symposium on Formal Methods Ordinal 21 Event Series FM - International Symposium on Formal Methods Start Date 2016-11-09 End Date 2016-11-11
827 bytes (165 words) - 09:43, 17 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 16 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
692 bytes (189 words) - 11:03, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 23 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
703 bytes (177 words) - 10:24, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 22 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
736 bytes (187 words) - 10:29, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 14 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
707 bytes (178 words) - 11:06, 21 August 2023
International Workshop on Formal Methods for Industrial Critical Systems Ordinal 15 Event Series FMICS - International Workshop on Formal Methods for Industrial Critical
688 bytes (187 words) - 11:03, 21 August 2023
Event Acronym NFM 2017 Title NFM 2017 : The 9th NASA Formal Methods Symposium Start Date 2017-05-16 End Date 2017-05-18 Status as scheduled Mode on site
639 bytes (156 words) - 14:14, 19 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 10 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
627 bytes (169 words) - 08:51, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 13 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
621 bytes (169 words) - 08:50, 12 October 2022
Conference on Formal Methods and Models for System Design Ordinal 14 Event Series MEMOCODE - International Conference on Formal Methods and Models for
612 bytes (161 words) - 08:30, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 12 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
609 bytes (160 words) - 08:51, 12 October 2022
Conference on Formal Methods and Models for System Design Ordinal 17 Event Series MEMOCODE - International Conference on Formal Methods and Models for
636 bytes (172 words) - 08:19, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 3 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
606 bytes (160 words) - 08:59, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 2 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
633 bytes (171 words) - 09:01, 12 October 2022
Conference on Formal Methods and Models for System Design Ordinal 15 Event Series MEMOCODE - International Conference on Formal Methods and Models for
612 bytes (161 words) - 08:28, 12 October 2022
Conference on Formal Methods and Models for System Design Ordinal 18 Event Series MEMOCODE - International Conference on Formal Methods and Models for
630 bytes (162 words) - 08:17, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 11 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
624 bytes (169 words) - 08:51, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 8 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
610 bytes (160 words) - 08:51, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 1 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
590 bytes (163 words) - 09:04, 12 October 2022
International Conference on Formal Methods and Models for Codesign Ordinal 4 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
623 bytes (169 words) - 08:56, 12 October 2022
19th International Symposium on Formal Methods Ordinal 19 Event Series FM - International Symposium on Formal Methods Start Date 2014-05-12 End Date 2014-05-16
1 KB (207 words) - 09:53, 17 August 2023
Series Events List NFM 2017 2017-05-16 → 2017-05-18 Software Engineering Formal Methods Testing Safety Critical Systems
97 bytes (30 words) - 14:32, 20 October 2022
Event Acronym FMCAD 2021 Title Formal Methods in Computer-Aided Design 2021 Ordinal 21 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
530 bytes (142 words) - 09:31, 21 August 2023
International Conference on Formal Methods and Models for Codesign Ordinal 6 Event Series MEMOCODE - International Conference on Formal Methods and Models for System
4 KB (659 words) - 15:26, 19 October 2022
22nd International Symposium on Formal Methods Ordinal 22 Event Series FM - International Symposium on Formal Methods Start Date 2018-07-15 End Date 2018-07-17
889 bytes (197 words) - 09:39, 17 August 2023
Series Events List FM 2016 2016-11-09 → 2016-11-11 Computer Science Formal Methods APF 2012 2012-10-10 → 2012-10-11 Information Security Data Security
89 bytes (79 words) - 10:27, 25 November 2022
15th International Symposium on Formal Methods 2008 Event Series Event Series:International Symposium on Formal Methods Start Date 2008-05-26 End Date 2008-05-30
705 bytes (154 words) - 14:55, 19 October 2022
Event Acronym FMCAD 2022 Title Formal Methods in Computer-Aided Design 2022 Ordinal 22 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
618 bytes (162 words) - 09:31, 21 August 2023
Event Series Acronym FMCAD Title Formal Methods in Computer-Aided Design Recurrence Unit year Academic Field Computer Hardware, Embedded Systems Design
502 bytes (367 words) - 09:30, 21 August 2023
Event Acronym FMCAD 2020 Title Formal Methods in Computer-Aided Design 2020 Ordinal 20 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
509 bytes (130 words) - 07:35, 21 August 2023
Event Acronym FMCAD 2010 Title Formal Methods in Computer-Aided Design 2010 Ordinal 10 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
594 bytes (148 words) - 08:27, 21 August 2023
Event Acronym FMCAD 2008 Title Formal Methods in Computer-Aided Design 2008 Ordinal 8 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
599 bytes (154 words) - 08:30, 21 August 2023
Event Acronym FMCAD 2013 Title Formal Methods in Computer-Aided Design 2013 Ordinal 13 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
579 bytes (150 words) - 08:19, 21 August 2023
Event Acronym FMCAD 2017 Title Formal Methods in Computer-Aided Design 2017 Ordinal 17 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
588 bytes (146 words) - 07:39, 21 August 2023
Event Acronym FMCAD 2002 Title Formal Methods in Computer-Aided Design 2002 Ordinal 4 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
595 bytes (154 words) - 08:49, 21 August 2023
Event Acronym FMCAD 1996 Title Formal Methods in Computer-Aided Design 1996 Ordinal 1 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
512 bytes (152 words) - 08:55, 21 August 2023
Event Acronym FMCAD 2014 Title Formal Methods in Computer-Aided Design 2014 Ordinal 14 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
604 bytes (140 words) - 07:52, 21 August 2023
Software Engineering and Formal Methods Ordinal 20 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2022-09-26
823 bytes (196 words) - 16:39, 4 January 2024
Event Acronym FMCAD 2018 Title Formal Methods in Computer-Aided Design 2018 Ordinal 18 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
628 bytes (164 words) - 07:38, 21 August 2023
Event Acronym FMCAD 2012 Title Formal Methods in Computer-Aided Design 2012 Ordinal 12 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
616 bytes (168 words) - 08:22, 21 August 2023
Event Acronym FMCAD 2019 Title Formal Methods in Computer-Aided Design 2019 Ordinal 19 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
601 bytes (158 words) - 07:36, 21 August 2023
Event Acronym FMCAD 2006 Title Formal Methods in Computer-Aided Design 2006 Ordinal 6 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
609 bytes (160 words) - 08:40, 21 August 2023
Event Acronym FMCAD 2004 Title Formal Methods in Computer-Aided Design 2004 Ordinal 5 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
609 bytes (158 words) - 08:42, 21 August 2023
Event Acronym FMCAD 2009 Title Formal Methods in Computer-Aided Design 2009 Ordinal 9 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
611 bytes (160 words) - 08:29, 21 August 2023
Event Acronym FMCAD 1998 Title Formal Methods in Computer-Aided Design 1998 Ordinal 2 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
592 bytes (165 words) - 08:54, 21 August 2023
Event Acronym FMCAD 2007 Title Formal Methods in Computer-Aided Design 2007 Ordinal 7 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
613 bytes (158 words) - 08:31, 21 August 2023
Event Acronym FMCAD 2015 Title Formal Methods in Computer-Aided Design 2015 Ordinal 15 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
622 bytes (162 words) - 07:50, 21 August 2023
Event Acronym FMCAD 2000 Title Formal Methods in Computer-Aided Design 2000 Ordinal 3 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
628 bytes (161 words) - 08:54, 21 August 2023
Event Acronym FMCAD 2016 Title Formal Methods in Computer-Aided Design 2016 Ordinal 16 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
615 bytes (156 words) - 07:41, 21 August 2023
Event Acronym FMCAD 2011 Title Formal Methods in Computer-Aided Design 2011 Ordinal 11 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
653 bytes (176 words) - 08:23, 21 August 2023
17th International Symposium on Formal Methods Ordinal 17 Event Series FM - International Symposium on Formal Methods Start Date 2011-06-20 End Date 2011-06-24
737 bytes (167 words) - 10:25, 17 August 2023
20th International Symposium on Formal Methods Ordinal 20 Event Series FM - International Symposium on Formal Methods Start Date 2015-06-24 End Date 2015-06-26
772 bytes (163 words) - 09:45, 17 August 2023
EICS - ACM SIGCHI Symposium on Engineering Interactive Computing System Formal Methods Human Computer Interaction Human Centerned Computing IMX - ACM International
116 bytes (823 words) - 06:31, 20 October 2022
International Conference on Formal Engineering Methods Recurrence Period 1 Recurrence Unit year Academic Field Formal Engineering Method, Software Engineering
506 bytes (289 words) - 07:18, 2 August 2023
Software Engineering and Formal Methods Ordinal 17 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2019-09-16
1 KB (157 words) - 16:01, 4 January 2024
International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2020-11-16 End Date 2020-11-20
901 bytes (171 words) - 09:06, 5 August 2023
International Conference on Integrated Formal Methods Ordinal 17 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2022-06-07 End
511 bytes (160 words) - 10:59, 7 July 2023
Software Engineering and Formal Methods Ordinal 18 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2020-09-14
996 bytes (164 words) - 16:38, 4 January 2024
Software Engineering and Formal Methods Ordinal 16 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2018-06-27
927 bytes (174 words) - 16:10, 4 January 2024
Software Engineering and Formal Methods Ordinal 19 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2021-12-06
698 bytes (160 words) - 16:39, 4 January 2024
Event Acronym SDE 2009 Title Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering Event Series Eurocast - Start Date
1 KB (234 words) - 15:27, 19 October 2022
International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2018-09-05 End Date 2018-09-07
2 KB (136 words) - 13:56, 18 October 2022
International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2016-06-01 End Date 2016-06-03
1 KB (132 words) - 13:56, 18 October 2022
International Conference on Integrated Formal Methods Event Series IFM - International Conference on Integrated Formal Methods Start Date 2019-12-02 End Date 2019-12-06
2 KB (136 words) - 13:56, 18 October 2022
ScienceFood SecurityFood Shelf LifeForecastingForensic ScienceFormal MethodsFormal ModelsFormal Semantics And SyntaxFoundations Of Computer ScienceFoundations
305 bytes (1,165 words) - 16:17, 2 February 2023
(Symposium of Formal Methods Europe), CPA (Communicating Process Architectures), FAST (Formal Aspects in Security and Trust), FMCO (Formal Methods for Components
8 KB (1,187 words) - 14:54, 19 October 2022
Computational complexity of methods and models; - Computational models; - Rewriting systems; - Formal methods integration; - Formal methods for software/hardware
8 KB (1,172 words) - 15:27, 19 October 2022
Cagliari City Cagliari Region Sardinia Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2024/
786 bytes (189 words) - 10:14, 24 July 2023
Region Provence-Alpes-Côte-d’Azur Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2022/
729 bytes (186 words) - 10:15, 24 July 2023
United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2023/
717 bytes (198 words) - 10:15, 24 July 2023
Event Acronym FMCAD 2023 Title Formal Methods in Computer-Aided Design 2023 Ordinal 23 Event Series FMCAD - Formal Methods in Computer-Aided Design Start
664 bytes (170 words) - 09:31, 21 August 2023
Title International Symposium on Formal Methods Ordinal 14 Event Series FM - International Symposium on Formal Methods Start Date 2006-08-21 End Date 2006-08-27
618 bytes (148 words) - 07:29, 13 March 2023
Title International Symposium on Formal Methods Ordinal 13 Event Series FM - International Symposium on Formal Methods Start Date 2005-07-18 End Date 2005-07-22
719 bytes (172 words) - 05:59, 14 March 2023
2021-06-08 End Date 2021-06-11 Status as scheduled Mode online Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2021/
622 bytes (164 words) - 11:55, 4 August 2023
experiences of applying formal methods to information systems, embedded systems, circuits, security, etc. - Education: education on formal methods. Submission Instructions:
4 KB (764 words) - 14:08, 19 October 2022
Region Pennsylvania Country United States of America (US) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2009/index
768 bytes (189 words) - 10:46, 5 August 2023
Brussels Region Brussels-Capital Region Country Belgium (BE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2016/
685 bytes (172 words) - 08:45, 18 July 2023
Duisburg Region North Rhine-Westphalia Country Germany (DE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2015/
696 bytes (172 words) - 08:50, 18 July 2023
Université City Paris Region Île-de-France Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2018/
706 bytes (182 words) - 09:34, 4 August 2023
United Kingdom of Great Britain and Northern Ireland (GB) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2013/
671 bytes (180 words) - 08:56, 18 July 2023
Valencia Region Valencian Community Country Spain (ES) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2019/
731 bytes (186 words) - 09:49, 4 August 2023
Ricerca CNR City Pisa Region Tuscany Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2011/index-content=1
721 bytes (187 words) - 10:03, 4 August 2023
Research Council City Rome Region Lazio Country Italy (IT) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2014/
698 bytes (180 words) - 06:25, 4 August 2023
Ernst-Reuter-Haus City Berlin Region Berlin Country Germany (DE) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2010/index-content=1
717 bytes (184 words) - 12:03, 4 August 2023
Region Capital Region of Denmark Country Denmark (DK) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2012/
712 bytes (184 words) - 08:46, 4 August 2023
International Conference on Formal Engineering Methods Ordinal 24 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2023-11-21
951 bytes (196 words) - 07:18, 14 August 2023
International Conference on Formal Engineering Methods Ordinal 1 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 1997-11-12
414 bytes (129 words) - 07:23, 2 August 2023
International Conference on Formal Engineering Methods Ordinal 10 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2008-10-27
643 bytes (148 words) - 07:44, 8 August 2023
International Conference on Formal Engineering Methods Ordinal 4 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2002-10-21
551 bytes (151 words) - 07:38, 2 August 2023
Software Engineering and Formal Methods Ordinal 21 Event Series SEFM - International Conference on Software Engineering and Formal Methods Start Date 2023-11-06
664 bytes (172 words) - 16:39, 4 January 2024
International Conference on Formal Engineering Methods Ordinal 21 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2019-11-05
619 bytes (161 words) - 09:33, 11 August 2023
International Conference on Formal Engineering Methods Ordinal 3 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2000-09-04
482 bytes (159 words) - 07:31, 2 August 2023
International Conference on Formal Engineering Methods Ordinal 9 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2007-11-14
557 bytes (159 words) - 09:38, 2 August 2023
Region Colorado Country United States of America (US) Academic Field Formal Methods Official Website https://correctness-workshop.github.io/2017/ Deadlines
5 KB (719 words) - 13:07, 19 October 2022
libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line
7 KB (861 words) - 16:18, 13 September 2023
surveillance * Cryptographic primitives for wireless communication * Formal methods for wireless security * Mobile platform and systems (OS and application)
3 KB (426 words) - 11:44, 15 December 2022
International Conference on Formal Engineering Methods Ordinal 23 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2022-10-24
1 KB (204 words) - 06:56, 14 August 2023
International Conference on Formal Engineering Methods Ordinal 16 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2014-11-03
830 bytes (179 words) - 07:02, 10 August 2023
International Conference on Formal Engineering Methods Ordinal 17 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2015-11-03
813 bytes (181 words) - 09:42, 10 August 2023
International Conference on Formal Engineering Methods Ordinal 19 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2017-11-13
688 bytes (165 words) - 10:18, 10 August 2023
International Conference on Formal Engineering Methods Ordinal 5 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2003-11-05
844 bytes (184 words) - 08:48, 2 August 2023
Region Provence-Alpes-Côte-d’Azur Country France (FR) Academic Field Formal Methods, Human Computer Interaction Official Website https://eics.acm.org/2020/
725 bytes (185 words) - 11:43, 4 August 2023
International Conference on Formal Engineering Methods Ordinal 20 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2018-11-12
994 bytes (189 words) - 08:42, 11 August 2023
International Conference on Integrated Formal Methods Ordinal 11 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2014-09-09 End
360 bytes (133 words) - 18:16, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 10 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2013-06-10 End
364 bytes (134 words) - 18:15, 22 September 2022
Title International Symposium on Formal Methods Ordinal 8 Event Series FM - International Symposium on Formal Methods Start Date 1998-10-07 End Date 1998-10-09
331 bytes (124 words) - 19:17, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 2 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2000-11-01 End Date
328 bytes (130 words) - 18:07, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 9 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2012-06-18 End Date
356 bytes (137 words) - 18:53, 22 September 2022
Title International Symposium on Formal Methods Ordinal 4 Event Series FM - International Symposium on Formal Methods Start Date 1997-09-15 End Date 1997-09-19
333 bytes (128 words) - 18:50, 22 September 2022
Title International Symposium on Formal Methods Ordinal 10 Event Series FM - International Symposium on Formal Methods Start Date 2001-05-12 End Date 2001-05-16
337 bytes (128 words) - 18:16, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 5 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2005-11-29 End Date
359 bytes (134 words) - 18:35, 22 September 2022
Title International Symposium on Formal Methods Ordinal 1 Event Series FM - International Symposium on Formal Methods Start Date 1993-04-19 End Date 1993-04-23
398 bytes (137 words) - 10:43, 3 March 2023
International Conference on Integrated Formal Methods Ordinal 13 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2017-09-20 End
357 bytes (133 words) - 18:25, 22 September 2022
Title International Symposium on Formal Methods Ordinal 6 Event Series FM - International Symposium on Formal Methods Start Date 1996-03-18 End Date 1996-03-22
330 bytes (138 words) - 18:17, 22 September 2022
Title International Symposium on Formal Methods Ordinal 9 Event Series FM - International Symposium on Formal Methods Start Date 1999-09-20 End Date 1999-09-24
339 bytes (128 words) - 19:09, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 8 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2010-10-11 End Date
352 bytes (132 words) - 18:48, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 7 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2009-02-16 End Date
368 bytes (134 words) - 18:12, 22 September 2022
Title International Symposium on Formal Methods Ordinal 11 Event Series FM - International Symposium on Formal Methods Start Date 2002-07-22 End Date 2002-07-24
335 bytes (124 words) - 17:56, 22 September 2022
Title International Symposium on Formal Methods Ordinal 2 Event Series FM - International Symposium on Formal Methods Start Date 1994-10-18 End Date 1994-10-24
339 bytes (128 words) - 18:02, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 3 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2002-05-15 End Date
309 bytes (126 words) - 19:23, 22 September 2022
Series Events List SEFM 2021 2021-12-06 → 2021-12-10 Software Engineering Formal Methods
89 bytes (23 words) - 15:51, 4 January 2024
International Conference on Formal Engineering Methods Ordinal 22 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2021-03-01
1 KB (230 words) - 09:53, 11 August 2023
International Conference on Integrated Formal Methods Ordinal 6 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2007-07-02 End Date
310 bytes (140 words) - 18:23, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 1 Event Series IFM - International Conference on Integrated Formal Methods Start Date 1999-06-28 End Date
338 bytes (143 words) - 18:23, 22 September 2022
International Conference on Integrated Formal Methods Ordinal 12 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2016-06-01 End
371 bytes (142 words) - 18:12, 22 September 2022
Title International Symposium on Formal Methods Ordinal 12 Event Series FM - International Symposium on Formal Methods Start Date 2003-09-08 End Date 2003-09-14
529 bytes (152 words) - 07:06, 14 March 2023
International Conference on Formal Engineering Methods Ordinal 2 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 1998-12-09
408 bytes (137 words) - 07:24, 2 August 2023
International Conference on Integrated Formal Methods Ordinal 4 Event Series IFM - International Conference on Integrated Formal Methods Start Date 2004-04-04 End Date
395 bytes (157 words) - 18:07, 22 September 2022
Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains
3 KB (351 words) - 15:28, 19 October 2022
International Conference on Formal Engineering Methods Ordinal 6 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2004-11-08
470 bytes (149 words) - 09:16, 2 August 2023
International Conference on Formal Engineering Methods Ordinal 8 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2006-11-01
449 bytes (140 words) - 09:29, 2 August 2023
Analysis of extra-functional properties Formal methods Architectural design decisions Validation & verification Methods of development Performance Tools Empirical
4 KB (590 words) - 14:45, 19 October 2022
International Conference on Formal Engineering Methods Ordinal 7 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2005-11-01
565 bytes (169 words) - 09:24, 2 August 2023
International Conference on Formal Engineering Methods Ordinal 12 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2010-11-17
790 bytes (168 words) - 08:21, 8 August 2023
International Conference on Formal Engineering Methods Ordinal 11 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2009-12-09
640 bytes (175 words) - 08:13, 8 August 2023
International Conference on Formal Engineering Methods Ordinal 13 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2011-10-26
705 bytes (183 words) - 08:56, 8 August 2023
International Conference on Formal Engineering Methods Ordinal 14 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2012-11-12
946 bytes (181 words) - 09:53, 9 August 2023
International Conference on Formal Engineering Methods Ordinal 18 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2016-11-14
678 bytes (163 words) - 09:57, 10 August 2023
International Conference on Formal Engineering Methods Ordinal 15 Event Series ICFEM - International Conference on Formal Engineering Methods Start Date 2013-10-29
724 bytes (172 words) - 06:28, 10 August 2023
knowledge bases * Fundamentals and formal methods for verification of AI systems * Fundamentals and formal methods and techniques of validity assessment
6 KB (989 words) - 13:07, 19 October 2022
choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation and verification - RESTful systems (design aspects
7 KB (1,054 words) - 14:26, 19 October 2022
security Big data security and privacy Biometric Security Network security Formal methods for security Embedded systems security Lightweight security Cyber-physical
2 KB (321 words) - 12:11, 4 August 2023
groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided
2 KB (368 words) - 14:55, 19 October 2022
protocols Database security Denial of service Distributed systems security Formal methods for security Information flow Intrusion detection and prevention Language-based
2 KB (369 words) - 15:30, 19 October 2022
choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation, and verification - System architectures for service
4 KB (700 words) - 14:26, 19 October 2022
Series Events List FM 2021 2021-11-20 → 2021-11-26 Computer Science Formal Methods
89 bytes (23 words) - 09:11, 17 August 2023
description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, higher-order logic, hybrid systems, lambda and combinatory
2 KB (408 words) - 15:23, 19 October 2022
libraries, synthesis from specifications, development methods, generation of non-code artifacts, formal methods, reflection * Generative techniques for o Product-line
7 KB (992 words) - 16:19, 13 September 2023
detection Big data security and privacy Biometric Security Network security Formal methods for security Digital forensics Security for critical infrastructures
2 KB (277 words) - 14:19, 19 October 2022
SEFM 2022 2022-09-26 → 2022-09-30 Computer Science Software Engineering Formal Methods
35 bytes (19 words) - 15:44, 4 January 2024
Series Events List FM 2019 2019-10-07 → 2019-10-11 Computer Science Formal Methods
90 bytes (23 words) - 09:29, 17 August 2023
advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research
5 KB (775 words) - 15:30, 19 October 2022
SEFM 2022 2022-09-26 → 2022-09-30 Computer Science Software Engineering Formal Methods
72 bytes (22 words) - 15:44, 4 January 2024
Workshop on Scholarly Document Processing 2022-10-17 FMCAD 2022 FMCAD - Formal Methods in Computer-Aided Design 2022-10-17 MobiCom 2022 MobiCom - International
378 bytes (12 words) - 11:05, 3 November 2022
Cross-Organizational Process Support and Contracts Multi Agents system Formal methods and tools, UML/sys UML Industrial experiences with Web technologies
2 KB (296 words) - 15:28, 19 October 2022
isti.cnr.it/SADM/ The objective of SADM is to introduce standardized formal methods which can explicitly consider data semantics, background knowledge,
2 KB (333 words) - 15:28, 19 October 2022
Republic of) (IR) Academic Field System Verification, Software Engineering, Formal Methods, Software Testing Official Website http://fsen.ir/2017/ Deadlines 2016-12-17
604 bytes (146 words) - 14:55, 19 October 2022
real-time embedded systems. - COMPOSITIONAL FORMAL METHODS: compositional techniques for modeling and formal methods; composition of validation and verification
6 KB (813 words) - 14:46, 19 October 2022
development of programs and algorithms - relational formal methods such as B or Z, tabular methods, - algebraic approaches to logics of programs, modal
7 KB (1,020 words) - 15:28, 19 October 2022
choreographies, collaborations, conversations, artifact-centric systems) - Formal methods, models, simulation and verification - RESTful systems (design aspects
8 KB (1,181 words) - 14:25, 19 October 2022
for services ecosystems * Business models Requirements Specification * Formal methods for business concepts applied to services * Business models aware service
2 KB (379 words) - 14:55, 19 October 2022
the following: * Formal models for data and knowledge bases * Integrity constraints maintenance and dependency theory * Formal Methods for data and knowledge
2 KB (365 words) - 15:27, 19 October 2022
some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and
8 KB (964 words) - 14:46, 19 October 2022
Computing FM 2024 2024-09-09 → 2024-09-13 Italy (IT) Computer Science Formal Methods EMI IC 2024 2024-09-09 → 2024-09-11 Austria (AT) Civil Engineering Engineering
808 bytes (10,171 words) - 10:31, 27 November 2023
Field Event Series Events List ICFEM 1997 1997-11-12 → 1997-11-14 Formal Engineering Method
39 bytes (17 words) - 07:21, 2 August 2023
multimedia systems * Electronic commerce and enabling technologies * Formal methods and foundations for dependable distributed computing * Analytical or
2 KB (338 words) - 15:21, 19 October 2022
and Interaction Techniques Ecological Interfaces Education about HCI Formal Methods in HCI Graphical User Interfaces Groupware Interfaces Guidelines and
3 KB (396 words) - 14:56, 19 October 2022
techniques for real-time, hybrid, or stochastic systems; Integration of formal methods and static analysis in high-level hardware design or software environments;
6 KB (812 words) - 07:43, 21 November 2023
techniques for real-time, hybrid, or stochastic systems Integration of formal methods and static analysis in high-level hardware design or software environments
6 KB (818 words) - 07:28, 21 November 2023
protocols, real-time, hybrid and safety-critical systems Integration of formal methods and static analysis in high-level hardware design Tool environments
5 KB (763 words) - 10:39, 16 November 2023
real-time, hybrid, critical, biological or dependable systems Integration of formal methods and static analysis in high-level hardware design or software environments
6 KB (871 words) - 10:51, 16 November 2023
Computing B. Design Methodology and Tools .Hardware/Software Co-Design .Formal Methods for Embedded Systems .Embedded Component Technology .Middleware for
3 KB (479 words) - 14:55, 19 October 2022
environments, such as ubiquitous and pervasive computer applications. Both formal methods and concrete applications well fit into the framework of the conference
3 KB (444 words) - 12:59, 19 October 2022
studies * Compiler support * Embedded systems * Energy management * Formal methods * Model-based development * Multimedia computing * Performance modeling
3 KB (405 words) - 15:27, 19 October 2022
Web Services Security - Security Models, Architectures and Protocols - Formal Methods for Web Applications - E-Commerce and E-Government Security - Identity
5 KB (672 words) - 15:30, 19 October 2022
advances in ad-hoc network formal analysis. Goals The goal of this workshop is to collect current advances in formal methods and techniques, applied to
7 KB (1,120 words) - 14:19, 19 October 2022
Implementation; design methodologies and tools; models of computation and formal methods; hardware/software co-design. * COMPONENTS AND PLATFORMS IN REAL-TIME
3 KB (482 words) - 15:20, 19 October 2022
International Conference on Formal Methods and Models for System Design 2021-11-20 FM 2021 FM - International Symposium on Formal Methods 2021-11-20 CECNet 2021
372 bytes (12 words) - 11:12, 3 November 2022
Jamming/anti-jamming communication ? Cross-layer design for security ? Formal methods for WSN security ? Resilient revocation mechanism ? Mobile platform
3 KB (542 words) - 14:55, 19 October 2022
SOFTWARE SERVICES * software engineering of service oriented systems * formal methods for service oriented architectures * service ontologies, semantic service
6 KB (807 words) - 15:30, 19 October 2022
distributed algorithms and systems Fault tolerance, reliability, availability Formal methods for distributed computing: verification, synthesis and testing Game-theoretic
3 KB (454 words) - 13:07, 12 June 2023
for algorithmic verification and synthesis Formal models and methods for security Formal models and methods for biological systems
2 KB (276 words) - 12:59, 19 October 2022
algorithms distributed and parallel computing Formal methods: algebraic and categorical methods automata and formal languages computability and nonstandard computing
4 KB (503 words) - 09:30, 7 July 2023
Semantic Web need? - Does the Semantic Web require languages based on formal methods ? - How should standard Semantic Web languages be designed ? SUBMISSION
4 KB (625 words) - 15:30, 19 October 2022
fields to present original work. Contributions from cognate areas such as formal methods, systems engineering, human and computer interaction, economics and
4 KB (602 words) - 15:27, 19 October 2022
area of research at the attention of several communities: Algorithms, Formal Methods, Information systems, Data mining, Networks and Distributed Systems
4 KB (644 words) - 14:54, 19 October 2022
Human factors. * Dependability measurement, modeling, and evaluation. * Formal methods for dependability. * Dependability in SOA and middleware. * Information
4 KB (622 words) - 14:46, 19 October 2022
Event Acronym ICFEM 2020 Title 22nd International Conference on Formal Engineering Methods Event Series Event Series:ICFEM Start Date 2020-11-02 End Date
1 KB (130 words) - 14:05, 19 October 2022
Security • Security in Pervasive Systems • Anonymity & Pseudonymity • Formal Methods for Security • Security in Social Networks • Applied Cryptography •
2 KB (304 words) - 11:47, 8 December 2023
