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" <>
Apologies for possible cross-posting.

2nd Call for Papers
The Thirteenth NASA Formal Methods Symposium
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 25 2022 at 01:11 UTC