I am a member of the program committee of the 13th International Workshop on Numerical Software Verification (NSV 2020).
I am a member of the program committee of the 12th NASA Formal Methods Symposium (NFM 2020).