[UAI] [fm-announcements] NFM 2020 Paper Submission Extension

* The Twelfth NASA Formal Methods Symposium https://ti.arc.nasa.gov/events/nfm-2020/ 11 - 15 May 2020 NASA Ames Research Center, Moffett Field, CA, USA

[UAI] [fm-announcements] NFM 2020 Call for papers

The Twelfth NASA Formal Methods Symposium https://ti.arc.nasa.gov/events/nfm-2020/ 11 - 15 May 2020 NASA Ames Research Center, Moffett Field, CA, USA Th