[TYPES/announce] NFM 2017 - Call For Workshops

[Rody Kersten]

NFM 2017 - Call For Workshops
The 9th NASA Formal Methods Symposium
-------------------------------------
https://ti.arc.nasa.gov/events/nfm-2017/workshops/
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,
    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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161019/f506206c/attachment-0001.html>