Conference Information
NFM 2023: NASA Formal Methods Symposium
https://conf.researchr.org/home/nfm-2023Submission Date: |
2022-12-09 |
Notification Date: |
2023-02-20 |
Conference Date: |
2023-05-16 |
Location: |
Houston, Texas, USA |
Years: |
15 |
Viewed: 12842 Tracked: 3 Attend: 0
Call For Papers
We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others. Formal verification, including theorem proving, model checking, and static analysis Advances in automated theorem proving including SAT and SMT solving Use of formal methods in software and system testing Run-time verification Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques Code generation from formally verified models Safety cases and system safety Formal approaches to fault tolerance Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems Formal methods in systems engineering and model-based development Correct-by-design controller synthesis Formal assurance methods to handle adaptive systems
Last updated by Dou Sun in 2022-10-04
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
CoopIS | International Conference on Cooperative Information Systems | 2024-07-10 | 2024-11-19 |
SSV | International Workshop on Systems Software Verification | 2012-11-28 | |
WS-FM | International Workshop on Web Services and Formal Methods | 2012-09-06 | |
ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-11 | 2017-08-18 |
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
ASYNC | IEEE International Symposium on Asynchronous Circuits and Systems | 2020-01-06 | 2020-05-17 |
ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-05-24 |
TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | ACM Transactions on Cyber-Physical Systems | 2.000 | ACM | 2378-962X |
Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
Forensic Science International: Digital Investigation | 2.000 | Elsevier | 2666-2825 | |
IEEE Electrification Magazine | 3.400 | IEEE | 2325-5897 | |
Computer Law & Security Review | 3.300 | Elsevier | 0267-3649 | |
IEICE Transactions on Communications | IEICE | |||
b | Briefings in Bioinformatics | 6.800 | Oxford University Press | 1477-4054 |
Electronics | 2.600 | MDPI | 2079-9292 | |
b | Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. | 1532-2890 |
Computational Statistics & Data Analysis | 1.500 | Elsevier | 0167-9473 |
Full Name | Impact Factor | Publisher |
---|---|---|
ACM Transactions on Cyber-Physical Systems | 2.000 | ACM |
Mathematical Methods of Operations Research | 0.900 | Springer |
Forensic Science International: Digital Investigation | 2.000 | Elsevier |
IEEE Electrification Magazine | 3.400 | IEEE |
Computer Law & Security Review | 3.300 | Elsevier |
IEICE Transactions on Communications | IEICE | |
Briefings in Bioinformatics | 6.800 | Oxford University Press |
Electronics | 2.600 | MDPI |
Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. |
Computational Statistics & Data Analysis | 1.500 | Elsevier |
Recommendation