The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM’s goals are to identify challenges and to provide solutions for achieving assurance for mission-critical and safety-critical systems at NASA and in the aerospace industry.

NFM Workshops provide an opportunity for participants to discuss specific topics relevant to the NASA Formal Methods community in more depth. NFM 2017 Workshops will be held before (or after) the main symposium, on May 15 (or May 19). Workshop proposals will be reviewed by the organizing committee together with members of the steering committee. Proposals must consist of the following two parts:

Part I: Technical Information

A short (about 1 page) scientific justification of the proposed topic, its significance and relevance to NFM, and the particular benefits of the workshop to the verification community, as well as a list of previous or related workshops (if relevant).

Part II: Organizational Information

• contact information of the workshop organizers.
• a main contact for the workshop (i.e. a workshop chair).
• the desired length of the workshop, (one or two days).
• an estimate of the audience size.
• proposed format and agenda (for example, demo sessions, tutorials, etc.).
• potential invited speakers.
• procedures for selecting papers and participants.
• plans for dissemination, if any (for example, special issues of journals).
• special technical, AV, or USB stick needs.
• links to a preliminary website of the workshop and call for papers (if possible).
• information if workshop has been previously held.

Important Dates:

Proposals are due by November 7th by email to the Organizing Committee. Decisions will be announced by November 14th, 2016.

The workshop proposals will be reviewed and evaluated on the following criteria:

• Potential to advance the state of the art in verification technologies, especially ability to break new ground.
• Relevance to NFM.
• Overlap with topics of other proposed workshops.
• Past successes of the workshop and association with other formal methods conferences.
• Organizers' ability and experience to lead a successful workshop.

All accepted workshops will be asked to provide a webpage, call for papers, and list of invited speakers.

For further enquiries or information, please contact:

Temesghen Kahsai (temesghen DOT kahsaiazene AT nasa DOT gov)  -- NASA Ames / CMU

Clark Barrett (barrett AT cs DOT stanford DOT edu) -- Stanford University