This is a call for abstracts for the November 2020
International Verification Method Workshop Online (2020-IVMW-O). The aim of
this virtual event is to discuss recent aspects of verification research and
keep the research community up-dated on new verification practices. The
2020-IVMW-O pdf announcement is attached, and more informations are
available at
https://jwgfvr.univie.ac.at/The *2020-IVMW-O abstract submission deadline* is fast approaching, and has
been *extended up to the 6th of September*: We encourage you to submit your
contribution!
Please feel free to share this announcement with your colleagues and
research networks.
------------------------------
Eric Gilleland
------------------------------