26th CAV Conference in Vienna, 18-22 July 2014

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.

Posted in Events, News