anticache

Zamani is a program committee chair at the 12th International Workshop on Numerical Software Verification!

26.01.2019


Majid Zamani jointly with Damien Zufferey are program committee chairs at the 12th International Workshop on Numerical Software Verification. The workshop will be held in conjunction with the 31st International Conference on Computer-Aided Verification (CAV) in New York City, USA, in July 2019. The submission details can be found in the workshop website here