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 *** Free Registration *** : https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2Fregister&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C093ae0291667402515ef08da22d19782%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637860580829640629%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=DVqTNm%2BwV8P7%2BFvzXA1BEJKV2A2BbCwyuPar3lLL%2FjE%3D&reserved=0 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: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2Fregister&data=05%7C01%7Cfm-announcements%40lists.nasa.gov%7C093ae0291667402515ef08da22d19782%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637860580829640629%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=DVqTNm%2BwV8P7%2BFvzXA1BEJKV2A2BbCwyuPar3lLL%2FjE%3D&reserved=0 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)
--- To opt-out from this mailing list, send an email to fm-announcements-requ...@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-ow...@lists.nasa.gov
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
