Prof. Dr. Rolf Wanka (FAU) and Prof. Dr. Jan Křetínský (TUM), with the active support of Matthias Kergaßner, M.Sc., led the course Modern Approaches to Optimization and Verification in Computer Science (link to course) at the joint Ferienakademie of FAU, TUM and University of Stuttgart in Sarntal, S...