32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/
Location: Los Angeles, California, USA
Conference dates: July 19-24, 2020
Important dates:
Paper submission deadline: January 28, 2020
Rebuttal period: March 12-14, 2020
Author notification: April 3, 2020
Final version due: May 15, 2020