CAV 2013 in St. Petersburg!
Wednesday, Oct 10, 2012Our group is co-organizing CAV 2013, the leading conference in computer-aided verification.
The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.