
Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, 2017 in Heidelberg, Germany. CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal…