Guest: Dimiter Milushev

Dimiter Milushev from KU Leuven visited the MAIS group on February 14, 2012. He gave a talk on "Towards Incrementalization of Holistic Hyperproperties" in the MAIS graduate seminar.