NFM 2017 - Call For Workshops
The 9th NASA Formal Methods Symposium
May 16 - 18, 2017
NASA Ames Research Center
Moffett Field, CA, USA
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,
* potential invited speakers.
* procedures for selecting papers and participants.
* plans for dissemination, if any (for example, special issues of
* special technical, AV, or USB stick needs.
* links to a preliminary website of the workshop and call for papers
* information if workshop has been previously held.
*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
* 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
* 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
Om-announce mailing list