====== Research Visit: Dr. Andy King ======

From 15/06/2010 till 18/06/2010, [[http://www.cs.kent.ac.uk/people/staff/amk/|Dr. Andy King]] from the University of Kent in Canterbury visited our group to work with [[:en:lehrstuhl:mitarbeiter:brauer]] on interesting open issues in abstract interpretation. The visit was supported by the Royal Society, the english academy of sciences.