Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [fm-announcements] NFM 2022 - Call for partici...


view this post on Zulip 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

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


Last updated: Jul 15 2022 at 23:21 UTC