Email Gateway (Nov 14 2020 at 11:50): Email Gateway (Nov 14 2020 at 11:50):From: "Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via Cl-isabelle-users" <cl-isabelle-users@lists.cam.ac.uk>
Apologies for possible cross-posting.
2nd Call for Papers
The Thirteenth NASA Formal Methods Symposium
https://shemesh.larc.nasa.gov/nfm2021/
24-28 May 2021
Norfolk, VA, USA
The symposium will be held in an in-person/virtual hybrid format in
Norfolk, VA, USA, possibly transitioning to fully virtual depending on
the COVID-19 situation. Virtual presentation of papers is possible even if
the conference is held in-person.
Important Dates:
Last updated: Jan 04 2025 at 20:18 UTC