====== Axel Simon (TU München) zu Gast ======

Vom 14. bis zum 18. Februar war [[http://www2.in.tum.de/hp/Main?nid=130|Axel Simon]] vom Lehrstuhl Informatik 2 an der TU München zu Gast in unserer Gruppe. Ziel dieses Besuchs war die gemeinsame Arbeit mit [[lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] an SAT-basierter abstrakter Interpretation.