-------- Forwarded Message -------- Subject: [WI] [Vardi-list] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Date: Sun, 14 Apr 2019 11:26:22 -0500 (CDT) From: Moshe Vardi vardi@cs.rice.edu Reply-To: Moshe Vardi vardi@cs.rice.edu To: Moshe Vardi vardi@cs.rice.edu

**************************************************** e Eleventh NASA Formal Methods Symposium

https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html

May 7-9, 2019, iversity, Houston, Texas, USA ****************************************************

* No registration fee! *

Theme of the Symposium: ----------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. 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 such critical systems.

New developments and emerging applications like autonomous software for uncrewed deep space human habitats, caretaker robotics, Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including 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.

The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Steering Committee, comprised of researchers spanning several NASA centers. NFM 2019 (https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html) is being co-organized by Rice University and NASA- Johnson Space Center in Houston, TX.

Location & Cost: ---------------- There will be no registration fee for 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.

The symposium will take place in the McMurtry Auditorium, Rice University, Houston, Texas, USA, May 7--9, 2019. Travel information can be found at: https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html.

Keynote Speakers: ----------------- * Virginie Wiels, ONERA, France * Richard Murray, CalTech, USA * NASA Panel: Challenges for Future Exploration -- Kimberly Hambuchen, Space Technology Principle Technologist for Robotics -- Emily Nelson, Deputy Chief, Flight Director Branch -- Joe Caram, Gateway Systems Engineering and Integration Lead -- Bill Othon, Gateway Verification and Validation Lead

Organizers: ----------- Moshe Y. Vardi (General Chair) Julia Badger (PC Chair) Kristin Yvonne Rozier (PC Chair)

Programme Committee: -------------------- Erika Ábrahám, RWTH Aachen University, Germany Dirk Beyer, LMU Munich, Germany Armin Biere, Johannes Kepler University Linz, Austria Nikolaj Bjorner, Microsoft, USA Sylvie Boldo, INRIA, France Jonathan Bowen, London South Bank University, UK Gianfranco Ciardo, Iowa State University, US Darren Cofer, Rockwell Collins, USA Frederic Dadeau, FEMTO-ST, France Ewen Denney, NASA, US Gilles Dowek, INRIA and ENS Paris-Saclay, France Steven Drager, AFRL, US Catherine Dubois, ENSIIE-Samovar, France Alexandre Duret-Lutz, LRDE/EPITA, France Aaron Dutle, NASA, US Marco Gario, Siemens Corporate Technology, USA Alwyn Goodloe, NASA, US Arie Gurfinkel, University of Waterloo, Canada John Harrison, Amazon Web Services, USA Klaus Havelund, JPL/NASA, USA Constance Heitmeyer, Naval Research Laboratory, USA Marieke Huisman, University of Twente, The Netherlands Shafagh Jafer, Embry-Riddle University, USA Xiaoqing Jin, Toyota Technical Center, USA Rajeev Joshi, JPL/NASA, USA Laura Kovacs, Vienna University of Technology, Austria Joe Leslie-Hurd, Intel, US Panagiotis Manolios, Northeastern University, USA Cristian Mattarei, Stanford University, US Stefan Mitsch, Carnegie Mellon University, US Cesar Munoz, NASA, US Anthony Narkawicz, NASA, US Necmiye Ozay, University of Michigan, USA Corina Pasareanu, CMU/NASA, USA Lee Pike, USA Johann Schumann, SGT, USA Cristina Seceleanu, Malardalen University, Sweden Bernhard Steffen, University of Dortmund, Germany Stefano Tonetta, FBK-IRST, Italy Ufuk Topcu, University of Texas at Austin, USA Christoph Torens, German Aerospace Center, Germany Michael Watson, NASA, USA Huan Xu, University of Maryland, US

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi