Emil Vassev was a keynote speaker at the  9th International Conference on Software Engineering and Formal Methods, which took place in Montevideo, Uruguay on 14th-18th November, 2011