[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