Monthly Archives: January 2013

CAV 2012, Day 1: Logic, Learning and Static Analysis

I missed the second day of pre-CAV workshops and the tutorial day on account of a deadline, but managed to make time to attend talks on the first day of CAV. This is the second time I was attending CAV, … Continue reading

Posted in Uncategorized | Leave a comment

Deadline Craziness.

I’ve delayed posting about the Computer Aided Verification conference (CAV) for about half a year. CAV 2012 was the second CAV I attended, with CAV 2010 having been the first. On both occasions, I did not pay much attention to … Continue reading

Posted in Uncategorized | Leave a comment