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: 15148 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 | Conference |
---|---|---|
TAMC | Annual Conference on Theory and Applications of Models of Computation | 2015-05-18 |
ENBENG | IEEE Portuguese Meeting on Bioengineering | 2019-02-22 |
ASYNC | IEEE International Symposium on Asynchronous Circuits and Systems | 2020-05-17 |
ATVA | International Symposium on Automated Technology for Verification and Analysis | 2025-10-27 |
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 |
ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-18 |
WS-FM | International Workshop on Web Services and Formal Methods | 2012-09-06 |
SSV | International Workshop on Systems Software Verification | 2012-11-28 |
CoopIS | International Conference on Cooperative Information Systems | 2025-10-20 |
FM | International Symposium on Formal Methods | 2024-09-09 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
International Journal on Artificial Intelligence Tools | 1.000 | World Scientific | 0218-2130 | |
IEEE Transactions on Machine Learning in Communications and Networking | IEEE | 2831-316X | ||
IEEE Computational Intelligence Magazine | 11.2 | IEEE | 1556-603X | |
IEICE Transactions on Communications | IEICE | |||
Journal of Sensor and Actuator Networks | 3.300 | MDPI | 2224-2708 | |
c | Intelligent Data Analysis | 0.900 | IOS Press | 1088-467X |
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 | |
b | Journal of Software: Evolution and Process | 1.700 | John Wiley & Sons, Ltd | 2047-7481 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Industrial Informatics | 11.7 | IEEE |
International Journal on Artificial Intelligence Tools | 1.000 | World Scientific |
IEEE Transactions on Machine Learning in Communications and Networking | IEEE | |
IEEE Computational Intelligence Magazine | 11.2 | IEEE |
IEICE Transactions on Communications | IEICE | |
Journal of Sensor and Actuator Networks | 3.300 | MDPI |
Intelligent Data Analysis | 0.900 | IOS Press |
Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. |
Computational Statistics & Data Analysis | 1.500 | Elsevier |
Journal of Software: Evolution and Process | 1.700 | John Wiley & Sons, Ltd |