Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive