Logic List Mailing Archive

NFM 2016: NASA Formal Methods Symposium

7-9 Jun 2016
Minneapolis MN, U.S.A.

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam