====== Besuch: Dr. Andy King ======

Vom 15. bis zum 18. Juni besuchte [[http://www.cs.kent.ac.uk/people/staff/amk/|Dr. Andy King]] von der University of Kent in Canterbury unsere Gruppe, um gemeinsam mit [[:lehrstuhl:mitarbeiter:brauer]] an interessanten Problemstellungen in Bereich der abstrakten Interpretation zu arbeiten. Die Royal Society, die englische Akademie der Wissenschaften, finanzierte den Besuch.