Neuigkeiten Mitarbeiter Kontakt Stellenangebote Pressespiegel Impressum Infocup 2017 Alumni
Cyber-Physical Mobility Group Projekte Publikationen
ARCADE artshop HyReach Real-Time Android SynTACS
Abschlussarbeiten Lehrangebot am i11 Wintersemester 20/21 Sommersemester 20 Frühere Semester Automatisierungstechnik Kolloquiumstermine
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.