Call for Papers – CAV 2020

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