What: Verification technology, systems & applications When: 6-10 September, 2010 Where: University of Luxembourg
What: Verification technology, systems & applications When: 12-16 October, 2009 Where: INRIA Center Nancy, France