[TYPES/announce] NFM 2016 - Call for participation

Klaus Havelund compscience.announcement at gmail.com
Thu May 5 09:19:21 EDT 2016


********************************************************************
                     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”

  * 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Èlia 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160505/cedd287c/attachment.html>


More information about the Types-announce mailing list