Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] NASA Formal Methods 2021 - First Call for Papers


view this post on Zulip Email Gateway (Sep 25 2020 at 09:33):

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.)


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.

Theme of the Symposium:


Last updated: Sep 25 2021 at 08:21 UTC