Document is current
Any future updates will be listed below
-
Authors
Payet, Étienne https://orcid.org/0000-0002-3519-025X
Pearce, David J. https://orcid.org/0000-0003-4535-9677
Spoto, Fausto https://orcid.org/0000-0003-2973-0384
- License Information
-
More Information
Chapter History
First Online: 20 May 2022
Conference Information
Conference Acronym: NFM
Conference Name: NASA Formal Methods Symposium
Conference City: Pasadena, CA
Conference Country: USA
Conference Year: 2022
Conference Start Date: 24 May 2022
Conference End Date: 27 May 2022
Conference Number: 14
Conference ID: nfm2022
Conference URL: https://shemesh.larc.nasa.gov/nfm2022/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 118
Number of Full Papers Accepted: 33
Number of Short Papers Accepted: 6
Acceptance Rate of Full Papers: 28% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3
Average Number of Papers per Reviewer: 6.3
External Reviewers Involved: No
