Date:
Friday, July 18, 2014
Venue: Vienna, Austria
Armin Biere and Roderick Bloem are organizing the 26th Computer Aided Verification this year in Vienna.
Visit http://cavconference.org/ for more information.