Sunday, July 13, 2014
Venue: Saint Petersburg, Russia
Helmut Veith is organizing the 25th International Conference on Computer Aided Verification in July 13–19 2013 in Saint Petersburg, Russia. Armin Biere and Roderick Bloem chair Hardware and Tools tracks respectively. Our RiSE students and young researchers Yulia Demyanova, Igor Konnov help with organization.
Find more details at http://cav2013.forsyte.at/