Summer School

2010 Summer School

What:   Verification technology, systems & applications
When:  6-10 September, 2010
Where:  University of Luxembourg

2009 Summer School

What:   Verification technology, systems & applications
When:  12-16 October, 2009
Where:  INRIA Center Nancy, France

URL:  http://wwwen.uni.lu/snt/education/summer_school Date:  Thursday May 24 2012 06:37:57 am