Luppen, Zachary http://orcid.org/0000-0003-0704-843X
Jacks, Michael http://orcid.org/0000-0002-1680-4535
Baughman, Nathan http://orcid.org/0000-0003-1217-2267
Stilic, Muhamed http://orcid.org/0000-0002-0184-9925
Nasers, Ryan http://orcid.org/0000-0003-2114-062X
Hertz, Benjamin http://orcid.org/0000-0003-1627-9715
Cutler, James http://orcid.org/0000-0002-6984-6851
Lee, Dae-Young http://orcid.org/0000-0002-6083-1805
Rozier, Kristin Yvonne http://orcid.org/0000-0002-6718-2828
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