Axel Simon (TU München) zu Gast

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.

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland