NFM 2016 - Call for participation

--===============1112998391==
Content-Type: multipart/alternative; boundary=001a1142e076bd21e5053218300a

--001a1142e076bd21e5053218300a
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

********************************************************************
                     CALL FOR PARTICIPATION
             The 8th NASA Formal Methods Symposium

                     June 7 - June 9, 2016

                    McNamara Alumni Center
                   University of Minnesota
                      Minneapolis, MN

              http://crisys.cs.umn.edu/nfm2016
********************************************************************


REGISTRATION

... is FREE!
All interested individuals, including non-US citizens, are welcome to
attend. All participants must register but there is no registration fee.
Please register online at

      http://crisys.cs.umn.edu/nfm2016/REGISTRATION

We strongly encourage participants to register early and reserve
accommodations. A block of hotel rooms are reserved at The Commons Hotel
until May 7, 2016.


THEME OF THE SYMPOSIUM

The NASA Formal Methods Symposium is a forum to foster collaboration
between theoreticians and practitioners from NASA, academia, and the
aerospace industry, with the goal of identifying challenges and providing
solutions towards achieving assurance for safety- and mission-critical
systems.

We have assembled an exciting 3-day program featuring
  * Oral presentations of 29 peer-reviewed papers
  * Three prominent keynote speakers
  * Tool demonstrations
  * Breakout sessions on applications of formal methods to future NASA
missions
  * Ample opportunities for networking and socializing


KEYNOTES

  * Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods Might
Find Application on Future NASA Missions=E2=80=9D

  * Kevin Driscoll (Honeywell): "Murphy Was Here"

  * Kathleen Fisher (Tufts University): "Using Formal Methods to Eliminate
Exploitable Bugs"


ACCEPTED PAPERS

The program features 19 regular and 10 short/tool papers on:

  * Requirements and architectures
  * Model checking and verification
  * Theorem proving and proofs
  * Testing and runtime enforcement
  * Synthesis and code generation
  * Applications of formal methods
  * Certification and correctness

List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/


ORGANIZING COMMITTEE

Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
Mike Whalen, University of Minnesota, USA (Financial Chair)
Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)


PROGRAM COMMITTEE

Julia Badger, NASA Johnson Space Center, USA
Clark Barrett, New York University, USA
Saddek Bensalem, Verimag and University Joseph Fourier, France
Dirk Beyer, University of Passau, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Alessandro Cimatti, FBK, Italy
Darren Cofer, Rockwell Collins, Inc., USA
Myra Cohen, University of Nebraska-Lincoln, USA
Misty Davies, NASA Ames Research Center, USA
Leonardo de Moura, Microsoft, USA
Ben Di Vito, NASA Langley Research Center, USA
Alexandre Duret-Lutz, LRDE / EPITA, France
Andrew Gacek, Rockwell Collins, Inc., USA
Pierre-Loic Garoche, ONERA, France
Shalini Ghosh, SRI International, USA
Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France
Radu Grosu, Stony Brook University, USA
Arie Gurfinkel, SEI, Carnegie Mellon University, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Constance Heitmeyer, Naval Research Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Falk Howar, TU Clausthal / IPSSE, Germany
Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
Dejan Jovanovi#, SRI International, USA
Gerwin Klein, NICTA and University of New South Wales, Australia
Daniel Kroening, University of Oxford, UK
Rahul Kumar, NASA Jet Propulsion Laboratory, USA
Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
C=C3=88lia Martinie, ICS-IRIT, Universite Paul Sabatier, France
Eric Mercer, Brigham Young University, USA
Cesar Munoz, NASA Langley Research Center, USA
Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA
Natasha Neogi, NASA Langley Research Center, USA
Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA
Charles Pecheur, Universite catholique de Louvain, Belgium
Lee Pike, Galois, Inc., USA
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Venkatesh Prasad Ranganath, Kansas State University, USA
Franco Raimondi, Middlesex University, UK
Kristin Yvonne Rozier, University of Cincinnati, USA
Neha Rungta, SGT, Inc./NASA Ames Research Center, USA
Oleg Sokolsky, University of Pennsylvania, USA
Stefano Tonetta, FBK, Italy
Willem Visser, Stellenbosch University, South Africa
Virginie Wiels, ONERA / DTIM, France
Guowei Yang, Texas State University, USA


STEERING COMMITTEE

Julia Badger, NASA Johnson Space Center, USA
Ben Di Vito, NASA Langley Research Center, USA
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
Michael Lowry, NASA Ames Research Center, USA
Kristin Yvonne Rozier, University of Cincinnati, USA
Johann Schumann, SGT, Inc./NASA Ames Research Center, USA

--001a1142e076bd21e5053218300a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><br></div><div>**************************************=
******************************</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0CALL FOR PARTICIPATION</div><div>=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0The 8th NASA Formal Methods=
 Symposium</div><div><br></div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0June 7 - June 9, 2016</div><div><br><=
/div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 McNamara Alumni Center=C2=A0</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0University of Minnesota=C2=A0</div=
><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 Minneapolis, MN</div><div><br></div><div>=C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 <a href=3D"http://crisys.cs.umn.edu/nfm2016">http:=
//crisys.cs.umn.edu/nfm2016</a></div><div>*********************************=
***********************************</div><div><br></div><div><br></div><div=
>REGISTRATION=C2=A0</div><div><br></div><div>... is FREE!</div><div>All int=
erested individuals, including non-US citizens, are welcome to attend. All =
participants must register but there is no registration fee. Please registe=
r online at</div><div><br></div><div>=C2=A0 =C2=A0 =C2=A0 <a href=3D"http:/=
/crisys.cs.umn.edu/nfm2016/REGISTRATION">http://crisys.cs.umn.edu/nfm2016/R=
EGISTRATION</a></div><div><br></div><div>We strongly encourage participants=
 to register early and reserve accommodations. A block of hotel rooms are r=
eserved at The Commons Hotel until May 7, 2016.</div><div><br></div><div><b=
r></div><div>THEME OF THE SYMPOSIUM</div><div><br></div><div>The NASA Forma=
l Methods Symposium is a forum to foster collaboration between theoretician=
s and practitioners from NASA, academia, and the aerospace industry, with t=
he goal of identifying challenges and providing solutions towards achieving=
 assurance for safety- and mission-critical systems.</div><div><br></div><d=
iv>We have assembled an exciting 3-day program featuring</div><div>=C2=A0 *=
 Oral presentations of 29 peer-reviewed papers</div><div>=C2=A0 * Three pro=
minent keynote speakers</div><div>=C2=A0 * Tool demonstrations</div><div>=
=C2=A0 * Breakout sessions on applications of formal methods to future NASA=
 missions</div><div>=C2=A0 * Ample opportunities for networking and sociali=
zing</div><div><br></div><div><br></div><div>KEYNOTES</div><div><br></div><=
div>=C2=A0 * Michael L. Aguilar (NASA Technical Fellow): &quot;Where Formal=
 Methods Might Find Application on Future NASA Missions=E2=80=9D</div><div>=
<br></div><div>=C2=A0 * Kevin Driscoll (Honeywell): &quot;Murphy Was Here&q=
uot;</div><div><br></div><div>=C2=A0 * Kathleen Fisher (Tufts University): =
&quot;Using Formal Methods to Eliminate Exploitable Bugs&quot;</div><div><b=
r></div><div><br></div><div>ACCEPTED PAPERS</div><div><br></div><div>The pr=
ogram features 19 regular and 10 short/tool papers on:</div><div>=C2=A0</di=
v><div>=C2=A0 * Requirements and architectures</div><div>=C2=A0 * Model che=
cking and verification</div><div>=C2=A0 * Theorem proving and proofs</div><=
div>=C2=A0 * Testing and runtime enforcement</div><div>=C2=A0 * Synthesis a=
nd code generation</div><div>=C2=A0 * Applications of formal methods</div><=
div>=C2=A0 * Certification and correctness</div><div><br></div><div>List of=
 all accepted papers: <a href=3D"http://crisys.cs.umn.edu/nfm2016/accepted/=
">http://crisys.cs.umn.edu/nfm2016/accepted/</a></div><div><br></div><div><=
br></div><div>ORGANIZING COMMITTEE</div><div><br></div><div>Michael Lowry, =
NASA Ames Research Center, USA (NASA Liaison)</div><div>Johann Schumann, SG=
T, Inc./NASA Ames Research Center, USA (General Chair)</div><div>Oksana Tka=
chuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)</div><div>Sanjai =
Rayadurgam, University of Minnesota, USA (PC Chair)</div><div>Mike Whalen, =
University of Minnesota, USA (Financial Chair)</div><div>Mats Heimdahl, Uni=
versity of Minnesota, USA (Local Arrangements Chair)</div><div><br></div><d=
iv><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Julia Badger, =
NASA Johnson Space Center, USA</div><div>Clark Barrett, New York University=
, USA</div><div>Saddek Bensalem, Verimag and University Joseph Fourier, Fra=
nce</div><div>Dirk Beyer, University of Passau, Germany</div><div>Borzoo Bo=
nakdarpour, McMaster University, Canada</div><div>Alessandro Cimatti, FBK, =
Italy</div><div>Darren Cofer, Rockwell Collins, Inc., USA</div><div>Myra Co=
hen, University of Nebraska-Lincoln, USA</div><div>Misty Davies, NASA Ames =
Research Center, USA</div><div>Leonardo de Moura, Microsoft, USA</div><div>=
Ben Di Vito, NASA Langley Research Center, USA</div><div>Alexandre Duret-Lu=
tz, LRDE / EPITA, France</div><div>Andrew Gacek, Rockwell Collins, Inc., US=
A</div><div>Pierre-Loic Garoche, ONERA, France</div><div>Shalini Ghosh, SRI=
 International, USA</div><div>Susanne Graf, Universite Joseph Fourier / CNR=
S / VERIMAG, France</div><div>Radu Grosu, Stony Brook University, USA</div>=
<div>Arie Gurfinkel, SEI, Carnegie Mellon University, USA</div><div>Klaus H=
avelund, NASA Jet Propulsion Laboratory, USA</div><div>Constance Heitmeyer,=
 Naval Research Laboratory, USA</div><div>Gerard Holzmann, NASA Jet Propuls=
ion Laboratory, USA</div><div>Falk Howar, TU Clausthal / IPSSE, Germany</di=
v><div>Rajeev Joshi, NASA Jet Propulsion Laboratory, USA</div><div>Dejan Jo=
vanovi#, SRI International, USA</div><div>Gerwin Klein, NICTA and Universit=
y of New South Wales, Australia</div><div>Daniel Kroening, University of Ox=
ford, UK</div><div>Rahul Kumar, NASA Jet Propulsion Laboratory, USA</div><d=
iv>Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)</div><div>C=
=C3=88lia Martinie, ICS-IRIT, Universite Paul Sabatier, France</div><div>Er=
ic Mercer, Brigham Young University, USA</div><div>Cesar Munoz, NASA Langle=
y Research Center, USA</div><div>Jorge A Navas, SGT, Inc./NASA Ames Researc=
h Center, USA</div><div>Natasha Neogi, NASA Langley Research Center, USA</d=
iv><div>Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA</div><div>Char=
les Pecheur, Universite catholique de Louvain, Belgium</div><div>Lee Pike, =
Galois, Inc., USA</div><div>Andreas Podelski, University of Freiburg, Germa=
ny</div><div>Pavithra Prabhakar, Kansas State University, USA</div><div>Ven=
katesh Prasad Ranganath, Kansas State University, USA</div><div>Franco Raim=
ondi, Middlesex University, UK</div><div>Kristin Yvonne Rozier, University =
of Cincinnati, USA</div><div>Neha Rungta, SGT, Inc./NASA Ames Research Cent=
er, USA</div><div>Oleg Sokolsky, University of Pennsylvania, USA</div><div>=
Stefano Tonetta, FBK, Italy</div><div>Willem Visser, Stellenbosch Universit=
y, South Africa</div><div>Virginie Wiels, ONERA / DTIM, France</div><div>Gu=
owei Yang, Texas State University, USA</div><div><br></div><div><br></div><=
div>STEERING COMMITTEE</div><div><br></div><div>Julia Badger, NASA Johnson =
Space Center, USA</div><div>Ben Di Vito, NASA Langley Research Center, USA<=
/div><div>Klaus Havelund, NASA Jet Propulsion Laboratory, USA</div><div>Ger=
ard Holzmann, NASA Jet Propulsion Laboratory, USA</div><div>Michael Lowry, =
NASA Ames Research Center, USA</div><div>Kristin Yvonne Rozier, University =
of Cincinnati, USA</div><div>Johann Schumann, SGT, Inc./NASA Ames Research =
Center, USA</div><div><br></div></div>

--001a1142e076bd21e5053218300a--

--===============1112998391==
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
--===============1112998391==--