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