From 15/06/2010 till 18/06/2010, Dr. Andy King from the University of Kent in Canterbury visited our group to work with Dr. rer. nat. Jörg Brauer on interesting open issues in abstract interpretation. The visit was supported by the Royal Society, the english academy of sciences.