NASA Logo, National Aeronautics and Space Administration

Author Instructions

Presentation Guidelines for Accepted Papers (Updated 4/15/2020)

NFM is going virtual! Paper presentations will be pre-recorded, replayed during the conference, and will be followed by a live Q&A session. Authors are kindly asked to 1) submit their video presentations AND slides by April 30, 2020 (to give us enough time to perform testing) and 2) make themselves available remotely to present their work at the virtual conference.

Presentation guidelines:

  • Videos should contain a prominent view of the slides along with audio. Optionally, to increase engagement, the videos could also contain a video that shows the speaker in thumbnail-size.
  • Video duration for regular papers: 20 minutes.
  • Video duration for short papers: 15 minutes.
  • Video fIle format: MPEG-4 (.mp4) file (use normal H.264).
  • Video size: HD (1280 x 720 - no more than 720p setting).
  • Audio Quality: please check your files before submitting to make sure the audio is clear and audible.
  • Q&A sessions: following the video, at least one of the authors needs to be on-line to address questions moderated by the session chair.

The authors must submit their videos and slides by April 30 to the same google drive folder where they submitted the camera-ready versions of their papers. Area chairs will get back to you if the video needs any improvement. Additionally, we kindly ask the authors to also add a document in the same google drive folder (by April 30) with the following information:

  • Presenter’s full name
  • Presenter’s short bio

Recording Tools and Tutorials

Please see below for tutorials and screen recording software options.

Other software options for screen recording on Linux, Windows, and Mac.

Instructions for Camera-Ready Submissions (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.

Initial Submission Guidelines

There are two categories of submissions:

  • Regular papers (15 pages, not counting references and appendices) describing fully developed work and complete results;
  • Short papers (6 pages, not counting references and appendices) describing tools or experience reports on applications of formal methods to real systems. We strongly encourage papers that are accompanied by publicly-available artifacts.

For regular and short papers, an appendix can provide additional material, e.g., details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work.

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be reviewed by members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes on Computer Science (LNCS), and must use LNCS style formatting. Author guidelines and templates are available here. LaTeX templates are also available in Overleaf.

Papers should be submitted in PDF format via EasyChair at At least one author of an accepted paper is expected to present the paper at the conference as a registered participant.

First Gov logo
NASA Logo -