-
Computer Science
-
Research
Kolloquium und weitere Vorträge
16:15-16:45 Uhr, OH12/3.031 Alexander Joerges Aussagenlogische Kodierung von Kardinalitätsconstraints Betreuer: Prof. Dr. Jung Bachelor-Abschlussvortrag Montag, 30.03.2026, 16:45-17:15 Uhr, OH12/3.031 Minh Anh [...] Uhr, OH12/3.031 Minimierung von deterministischen und good-for-games Omega-Automaten Kevin Kliche Betreuer: Prof. Schwentick Bachelor-Abschlussvortrag Dienstag, 28.04.2026, 16:15-16:45, OH12/3.031 Aufzählung [...] Gastgeber: Prof. Dr. Steffen Bachelor- und Master-Vorträge Mittwoch, 11.03.2026, 11:00-11:45 Uhr, JvF25/3-302 Lorenz Leupers Reinforcement Learning for Active Flow Control Betreuer: Prof. Dr. Peitz Bachelo …