Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] NFM2021 - Second Call for Papers


view this post on Zulip 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: Dec 05 2021 at 22:18 UTC