Email Gateway (Apr 28 2021 at 09:18): Email Gateway (Apr 28 2021 at 09:18):From: "Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via Cl-isabelle-users" <cl-isabelle-users@lists.cam.ac.uk>
CALL FOR (VIRTUAL) PARTICIPATION
13th NASA Formal Methods Symposium (NFM 2021)
May 24-28, 2021
https://shemesh.larc.nasa.gov/nfm2021
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 04 2025 at 20:18 UTC