Vom 14. bis zum 18. Februar war Axel Simon vom Lehrstuhl Informatik 2 an der TU München zu Gast in unserer Gruppe. Ziel dieses Besuchs war die gemeinsame Arbeit mit Jörg Brauer an SAT-basierter abstrakter Interpretation.