Email Gateway (Apr 21 2022 at 11:33): Email Gateway (Apr 21 2022 at 11:33):From: "\"Havelund, Klaus (US 348B) via fm-announcements\"" <cl-isabelle-users@lists.cam.ac.uk>
CALL FOR PARTICIPATION
14th NASA Formal Methods Symposium (NFM 2022)
May 24-27, 2022
Pasadena, California, USA
URL: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2F&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C093ae0291667402515ef08da22d19782%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637860580829640629%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=r6Tze4FTRItf4lDl5uGMYEH5FshVbLpC1KAZYx%2FdkFg%3D&reserved=0
NFM 2022 is organized by Jet Propulsion Laboratory, USA
MIXED PHYSICAL + VIRTUAL SYMPOSIUM
After two years of virtual NFM symposia, we are returning to arranging a physical event. However, virtual participation is supported for those who prefer this option.
THEME OF THE SYMPOSIUM
The complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry working on formal methods to develop and apply such techniques.
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods Research Group, composed of researchers spanning six NASA centers.
REGISTRATION
There is no registration fee charged to participants. Register here:
KEYNOTE SPEAKERS
Dines Bjørner (Technical University of Denmark, Denmark)
Steve Chien (Jet Propulsion Laboratory, USA)
Daniel Jackson (MIT CSAIL, USA)
Julia Lawall (Inria-Paris, France)
Sriram Sankaranarayanan (University of Colorado Boulder, USA)
Alex Summers (University of British Columbia, Canada)
Emina Torlak (University of Washington, USA)
TUTORIALS
Edwin Brady (University of St. Andrews, UK)
Ankush Desai (Amazon Web Services, USA)
Anastasia Mavridou (KBR Inc/NASA Ames Research Center, USA)
Leonardo de Moura (Microsoft Research, USA)
Sebastian Ullrich (Karlsruhe Institute of Technology, Germany)
ORGANIZERS
Klaus Havelund (Jet Propulsion Laboratory, PC chair)
Jyo Deshmukh (USC, PC chair)
Richard Murray (Caltech, Local chair)
Ivan Perez (NIA, PC chair)
Last updated: Jan 04 2025 at 20:18 UTC