Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] NASA Formal Methods 2021: Call for (virtual) p...

view this post on Zulip Email Gateway (Apr 28 2021 at 09:18):

From: "Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via Cl-isabelle-users" <>


13th NASA Formal Methods Symposium (NFM 2021)

May 24-28, 2021

NFM 2021 is a virtual event organized by

the Formal Methods Team at

NASA Langley Research Center, Hampton, VA, USA

Free Registration

Virtual Symposium

Last updated: Jan 25 2022 at 01:11 UTC