NFM 2017 - Call For Workshops
Rody Kersten <[email protected]> Wed, 19 Oct 2016 13:39:17 -0700
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <33459ce4-6c84-e7e1-d266-30610defdb5c__14579.5672237456$1476969595$gmane$org@sv.cmu.edu> |
This is a multi-part message in MIME format.
--===============1835360861==
Content-Type: multipart/alternative;
boundary="------------83DA2CD30CD2FF142DCCBD17"
This is a multi-part message in MIME format.
--------------83DA2CD30CD2FF142DCCBD17
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
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
--------------83DA2CD30CD2FF142DCCBD17
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 8bit
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>
</p>
<div class="moz-text-html" lang="x-unicode">
<p> </p>
<div align="center"><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">NFM 2017 - Call For
Workshops</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">The 9th NASA Formal Methods
Symposium</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">-------------------------------------</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;"><a
class="moz-txt-link-freetext"
href="https://ti.arc.nasa.gov/events/nfm-2017/workshops/">https://ti.arc.nasa.gov/events/nfm-2017/workshops/</a></span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">May 16 - 18, 2017</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">NASA Ames Research Center</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12.6667px; color: rgb(34, 34, 34);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Moffett Field, CA, USA</span></font><br>
</div>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12.6667px; color: rgb(34, 34, 34); background-color: rgb(255,
255, 255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"></span></font><br>
<font face="Helvetica, Arial, sans-serif"> </font> <br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">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.</span></font><br>
<br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">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:</span><span
style="font-size: 12px; color: rgb(0, 0, 0); background-color:
rgb(255, 255, 255); font-weight: 700; font-style: normal;
font-variant: normal; text-decoration: none; vertical-align:
baseline;"><br>
</span></font><br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">Part
I: Technical Information<br>
<br>
</span></font> <font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0); background-color:
rgb(255, 255, 255); font-weight: 400; font-style: normal;
font-variant: normal; text-decoration: none; vertical-align:
baseline;">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).</span></font><br>
<br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">Part
II: Organizational Information</span></font><br>
<ul>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">contact information of
the workshop organizers.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">a main contact for the
workshop (i.e. a workshop chair).</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">the desired length of the
workshop, (one or two days).</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">an estimate of the
audience size.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">proposed format and
agenda (for example, demo sessions, tutorials, etc.).</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">potential invited
speakers.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">procedures for selecting
papers and participants.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">plans for dissemination,
if any (for example, special issues of journals).</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">special technical, AV, or
USB stick needs.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">links to a preliminary
website of the workshop and call for papers (if possible).</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">information if workshop
has been previously held.</span></font></li>
</ul>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"></span></font><font
face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"><b>Important
Dates:<br>
<br>
</b>Proposals are due by </span><span style="font-size: 12px;
color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);
font-weight: 700; font-style: normal; font-variant: normal;
text-decoration: none; vertical-align: baseline;">November 7th
</span><span style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">by email to the Organizing
Committee. Decisions will be announced by </span><span
style="font-size: 12px; color: rgb(0, 0, 0); background-color:
rgb(255, 255, 255); font-weight: 700; font-style: normal;
font-variant: normal; text-decoration: none; vertical-align:
baseline;">November 14th, 2016.</span></font><br>
<br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">The
workshop proposals will be reviewed and evaluated on the
following criteria:</span></font><br>
<ul>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Potential to advance the
state of the art in verification technologies, especially
ability to break new ground.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Relevance to NFM.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Overlap with topics of
other proposed workshops.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Past successes of the
workshop and association with other formal methods
conferences.</span></font></li>
<li><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Organizers' ability and
experience to lead a successful workshop.</span></font></li>
</ul>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">All
accepted workshops will be asked to provide a webpage, call
for papers, and list of invited speakers.</span></font><font
face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"></span></font><br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"> </span></font><br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 700; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;"> For
further enquiries or information, please contact:<br>
<br>
</span></font><font face="Helvetica, Arial, sans-serif"><span
style="font-size: 12px; color: rgb(0, 0, 0); background-color:
rgb(255, 255, 255); font-weight: 400; font-style: normal;
font-variant: normal; text-decoration: none; vertical-align:
baseline;"></span></font> <font face="Helvetica, Arial,
sans-serif"><span style="font-size: 12px; color: rgb(0, 0, 0);
background-color: rgb(255, 255, 255); font-weight: 400;
font-style: normal; font-variant: normal; text-decoration:
none; vertical-align: baseline;">Temesghen Kahsai (temesghen
DOT kahsaiazene AT nasa DOT gov) -- NASA Ames / CMU</span></font><br>
<br>
<font face="Helvetica, Arial, sans-serif"><span style="font-size:
12px; color: rgb(0, 0, 0); background-color: rgb(255, 255,
255); font-weight: 400; font-style: normal; font-variant:
normal; text-decoration: none; vertical-align: baseline;">Clark
Barrett (barrett AT cs DOT stanford DOT edu) -- Stanford
University</span></font><br>
</div>
</body>
</html>
--------------83DA2CD30CD2FF142DCCBD17--
--===============1835360861==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============1835360861==--