[TYPES/announce] NFM 2022 - Call for participation

Klaus Havelund havelund at gmail.com
Wed Apr 20 09:37:01 EDT 2022


*CALL FOR PARTICIPATION*



14th NASA Formal Methods Symposium (NFM 2022)

May 24-27, 2022

Pasadena, California, USA

URL: https://urldefense.com/v3/__https://nfm2022.caltech.edu__;!!IBzWLUs!Bj_P3B4e-vCuOj1CficepLHAA7EprVFAcsIYvaJMAcACZgJ3aOX5Oyc04lvrXuJuBbce2az0Lu8NNw$ 



NFM 2022 is organized by Jet Propulsion Laboratory, USA



*** Free Registration *** : https://urldefense.com/v3/__https://nfm2022.caltech.edu/register__;!!IBzWLUs!Bj_P3B4e-vCuOj1CficepLHAA7EprVFAcsIYvaJMAcACZgJ3aOX5Oyc04lvrXuJuBbce2azLEyFbhg$ 



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://urldefense.com/v3/__https://nfm2022.caltech.edu/register__;!!IBzWLUs!Bj_P3B4e-vCuOj1CficepLHAA7EprVFAcsIYvaJMAcACZgJ3aOX5Oyc04lvrXuJuBbce2azLEyFbhg$ 



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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220420/2519028f/attachment.htm>


More information about the Types-announce mailing list