NASA Logo, National Aeronautics and Space Administration

Author Instructions for Camera-Ready Submission (Updated 3/7/2020)

Due to technical and administrative issues, we must update the submission instructions for the camera-ready paper. The corresponding authors will receive an invitation email to a Google Drive share. Please upload a zip file containing the source files for your paper and a pdf of the final paper (outside of the zip file). If you do not receive the invitation email or have any issues, please contact the chairs. Since the Google Drive is not equipped to handle PII data (i.e., signatures), please email the signed consent form to and

The deadline to submit the camera-ready version of an accepted paper is March 27th, 2020. Submissions of the source and final pdf should be made via Google Drive share. The consent form should be emailed to Ritchie Lee and Anastasia Mavridou.

NFM2020 proceedings will be published in Springer’s Lecture Notes in Computer Science (LNCS) series. Authors should follow the LNCS format and instructions for preparing the camera-ready version of your manuscript. Author information and templates can be found at:

Full papers should not exceed 16 pages in length (+ references) and short papers should not exceed 7 pages in length (+ references). Note that these page limits represent an additional page compared to the original page limits.

Please submit a zip file containing all source files (e.g., bib files, style files, special fonts, eps files, and images) and a pdf of the final paper. References should also be supplied as a bbl file (to avoid conversion error). Also, please note that hyperlinks in references are not supported.

Please specify a corresponding author for the paper. He or she should be clearly marked in the header of the paper. The corresponding author should complete and sign the Springer consent-to-publish form on behalf of all the authors. Please use the following information when filling out the form:

Title of Book or Conference Name: 12th NASA Formal Methods Symposium (NFM2020)
Volume Editor(s) Name(s): Ritchie Lee, Susmit Jha, Anastasia Mavridou

A blank version of the form can be found at Springer’s author information page. For convenience, we provide a partially filled version here:

The corresponding author must be available to carry out a proof check of the paper. He or she is given a 72-hour time-slot to do so. Springer will contact the corresponding author in advance to advise when this 72-hour time-slot will occur.

Please feel free to contact us if you have any issues or questions.

First Gov logo
NASA Logo -