10times
31st Edition Conference

International Conference on Computer-Aided Verification

15 - 18 Jul 2019
Tishman Auditorium, New York, USA
About Followers 4 Reviews Exhibitors Photos Speakers 3 Travel Deals
Last Edition Speakers (Jul 2019)
Speaker
Dawn Song

Dawn Song

Professor at Oasis Labs Berkeley, USA
Speaker
Kenneth McMillan

Kenneth McMillan

Principal Researcher at Microsoft Bellevue, USA
Speaker
Swarat Chaudhuri

Swarat Chaudhuri

Professor at Rice University Houston, USA