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" <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: Dec 05 2021 at 23:19 UTC