The around-the-clock November 2020 International Verification Method Workshop Online (2020-IVMW-O): Registration and abstract submission are now open 2020-07-28 Elena Astakhova News Registration and abstract submission are now open at the 2020-IVMW-O web-site https://jwgfvr.univie.ac.at.