NFM 2017 - Call For Participation
Rody Kersten <[email protected]> Tue, 21 Feb 2017 13:54:00 -0800
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <d443f3af-6f62-15fd-6fed-fa9248ff4a03__26503.9276950576$1487784373$gmane$org@sv.cmu.edu> |
This is a multi-part message in MIME format.
--===============0406340851==
Content-Type: multipart/alternative;
boundary="------------3AA40F731C230AD1C34E3F54"
This is a multi-part message in MIME format.
--------------3AA40F731C230AD1C34E3F54
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
NFM 2017 - Call For Participation
The 9th NASA Formal Methods Symposium
-------------------------------------
https://ti.arc.nasa.gov/events/nfm-2017/
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. The focus
of the symposium will be on formal techniques and other approaches for
software assurance, their theory, current capabilities and limitations,
as well as their potential application to aerospace, robotics, and other
NASA-relevant safety-critical systems during all stages of the software
life-cycle.
*Keynote speakers*
* Michael Wagner, Carnegie Mellon University
* Ben Haldeman, Planet Labs
* Manu Sridharan, Uber Technologies Inc.
* Jason Crusan, NASA Advanced Exploration Systems Division
* Alexandre Arnold, Airbus
*Accepted papers*
A total of 31 excellent papers were accepted. The full list can be found
here: https://ti.arc.nasa.gov/events/nfm-2017/papers/
*Registration*
NFM 2017 will be held at NASA Ames Research Center, Moffett Field, CA on
May 16 to 18, 2017. There will not be a registration fee charged to
participants. All interested individuals, including non-US citizens, are
welcome to attend, to listen to the talks, and to participate in
discussions; however, all attendees must register via the link below.
Foreign Nationals will need to send extra information and allow at least
three weeks for processing time after all of the information has been
received.
Register here: https://ti.arc.nasa.gov/events/nfm-2017/registration/
Co-located event: AFM Workshop 2017
AFM is a one-day workshop centered around the use and integration of
highly automated formal verification tools for specification,
interactive theorem proving, satisfiability (SAT) and satisfiability
modulo theories (SMT), model checking, program verification, static
analysis, runtime verification, code generation, and testing, as well as
interfaces, documentation, and education. AFM functions both as a user's
meeting for SRI's tools such as PVS, SAL and Yices, and as a workshop
for those interested in state of the art automation for formal methods
generally.
Paper deadline: March 27, 2017
Workshop: May 19, 2017
More information: http://fm.csl.sri.com/AFM17/
Organization
General Chair
Misty Davis (NASA Ames)
Program Chairs
Clark Barrett (Stanford University)
Temesghen Kahsai (NASA Ames / CMU Silicon Valley)
Local Organization
Guy Katz (Stanford University)
Rody Kersten (CMU Silicon Valley)
--------------3AA40F731C230AD1C34E3F54
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">
<div align="center"><font class="" face="Helvetica, Arial,
sans-serif" size="-1"><span style="font-size: 12.6667px;
color: rgb(34, 34, 34); background-color: rgb(255, 255,
255); vertical-align: baseline;" class="">NFM 2017 - Call
For Participation</span></font><font face="Helvetica, Arial,
sans-serif" size="-1"><br class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class="">The 9th NASA Formal
Methods Symposium</span></font><br class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class="">-------------------------------------</span></font><br
class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class=""><a
class="moz-txt-link-freetext"
href="https://ti.arc.nasa.gov/events/nfm-2017/">https://ti.arc.nasa.gov/events/nfm-2017/</a></span></font><br
class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class="">May 16 - 18, 2017</span></font><br
class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class="">NASA Ames Research
Center</span></font><br class="">
<font class=""><span style="font-size: 12.6667px; color:
rgb(34, 34, 34); background-color: rgb(255, 255, 255);
vertical-align: baseline;" class="">Moffett Field, CA, USA</span></font><br
class="">
</font></div>
<font class="" face="Helvetica, Arial, sans-serif" size="-1"><font
class=""><span style="font-size: 12.6667px; color: rgb(34, 34,
34); background-color: rgb(255, 255, 255); vertical-align:
baseline;" class=""></span></font><br class="">
<br class="">
<font class=""><span style="font-size: 12px; background-color:
rgb(255, 255, 255); vertical-align: baseline;" class="">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><span style="font-size:
12.6667px; color: rgb(34, 34, 34); background-color:
rgb(255, 255, 255); vertical-align: baseline;" class=""> The
focus of the symposium will be on formal techniques and
other approaches for software assurance, their theory,
current capabilities and limitations, as well as their
potential application to aerospace, robotics, and other
NASA-relevant safety-critical systems during all stages of
the software life-cycle.<br class="">
<br class="">
<b class="">Keynote speakers</b><br class="">
<br class="">
* Michael Wagner, Carnegie Mellon University<br class="">
* Ben Haldeman, Planet Labs<br class="">
* Manu Sridharan, Uber Technologies Inc.<br class="">
* Jason Crusan, NASA Advanced Exploration Systems Division</span></font></font>
<div class=""><font class="" face="Helvetica, Arial, sans-serif"
size="-1"><font class=""><span style="font-size: 12.6667px;
color: rgb(34, 34, 34); background-color: rgb(255, 255,
255); vertical-align: baseline;" class="">* Alexandre
Arnold, Airbus<br class="">
<br class="">
<b class="">Accepted papers</b><br class="">
<br class="">
A total of 31 excellent papers were accepted. The full
list can be found here: <a class="moz-txt-link-freetext"
href="https://ti.arc.nasa.gov/events/nfm-2017/papers/">https://ti.arc.nasa.gov/events/nfm-2017/papers/</a><br
class="">
<br class="">
<b class="">Registration</b><br class="">
</span></font><br class="">
<font class="">NFM 2017 will be held at NASA Ames Research
Center, Moffett Field, CA on May 16 to 18, 2017. There will
not be a registration fee charged to participants. All
interested individuals, including non-US citizens, are
welcome to attend, to listen to the talks, and to
participate in discussions; however, <font class=""
color="#000000">all attendees must register</font> via the
link below. Foreign Nationals will need to send extra
information and allow at least three weeks for processing
time after all of the information has been received.</font><font
class=""><br class="">
<br class="">
Register here: <a class="moz-txt-link-freetext"
href="https://ti.arc.nasa.gov/events/nfm-2017/registration/">https://ti.arc.nasa.gov/events/nfm-2017/registration/</a></font></font><font
face="Helvetica, Arial, sans-serif" size="-1"><br class="">
<font class=""><font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); font-weight: 700;
vertical-align: baseline;" class=""></span></font><font
class=""><span style="font-size: 12px; background-color:
rgb(255, 255, 255); font-weight: 700; vertical-align:
baseline;" class=""><br class="">
Co-located event: AFM Workshop 2017<br class="">
</span></font><br class="">
<font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class="">AFM is a one-day workshop centered
around the use and integration of highly automated
formal verification tools for specification, interactive
theorem proving, satisfiability (SAT) and satisfiability
modulo theories (SMT), model checking, program
verification, static analysis, runtime verification,
code generation, and testing, as well as interfaces,
documentation, and education. AFM functions both as a
user's meeting for SRI's tools such as PVS, SAL and
Yices, and as a workshop for those interested in state
of the art automation for formal methods generally.</span></font><br
class="">
<font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class=""></span></font><br class="">
<font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class="">Paper deadline: March 27, 2017</span></font><br
class="">
<font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class="">Workshop: May 19, 2017</span></font><br
class="">
<font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class="">More information: <a
class="moz-txt-link-freetext"
href="http://fm.csl.sri.com/AFM17/">http://fm.csl.sri.com/AFM17/</a><br
class="">
<br class="">
</span></font><font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); font-weight: 700;
vertical-align: baseline;" class="">Organization<br
class="">
<br class="">
</span></font><font class=""><span style="font-size: 12px;
background-color: rgb(255, 255, 255); vertical-align:
baseline;" class=""></span></font><font class=""><span
style="font-size: 12px; background-color: rgb(255, 255,
255); vertical-align: baseline;" class="">G<font
class="">en<font class="">eral <font class="">C</font>hair<br
class="">
<font class="">Misty Davis (NASA Ames)<br class="">
<br class="">
<font class="">Program <font class="">C</font>hairs</font></font></font></font></span></font></font><font
class=""><br class="">
Clark Barrett (Stanford University)</font><br class="">
Temesghen Kahsai <font class="">(</font>NASA Ames / CMU
Silicon Valley)<br class="">
<br class="">
Local Organization<br class="">
<font class="">Guy Katz (Stan<font class="">ford University)<br
class="">
<font class="">Rody Kersten (CMU Sili<font class="">con
Valley)</font></font></font></font></font></div>
</div>
</body>
</html>
--------------3AA40F731C230AD1C34E3F54--
--===============0406340851==
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
--===============0406340851==--