Dienstag, 30.06.2026, 16:15-16:45 Uhr, OH12/3.031
Dushan Oravskyi
Analyse der Zustandskomplexität bei der Determinisierung endlicher Automaten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Dienstag, 30.06.2026, 16:45-17:15 Uhr, OH12/3.031
Jannes Große Vestert
Randomisierte Sliding Window Algorithmen für reguläre Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Dienstag, 30.06.2026, 17:15-17:45 Uhr, OH12/3.031
Marian Holschen
Resultate zum Regularitätsproblem für deterministisch kontextfreie Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Mittwoch, 01.07.2026, 10:15-11:00 Uhr, OH12/2.013
Nicolas Thurow
Automatische Generierung von Verkehrsszenarien basierend auf fehlenden Szenarioklassen mittels Scenic
Betreuer: Prof. Dr. Hower
Bachelor-Abschlussvortrag
Montag, 06.07.2026, 16:15-17:00 Uhr, OH12/3.013
Lisa Henneberg
Lösen von Allgemeinen annahmenbasierten Argumentationsformalismen via QBF
Betreuer: Prof. Dr. Jung
Master-Abschlussvortrag
Mittwoch, 08.07.2026, 10:15-11:00 Uhr, OH12/2.013
Louis Radtke
Establishing a Management Software for Transient Resesarch Data
Betreuer: Prof. Dr. Hower
Master-Abschlussvortrag
Mittwoch, 08.07.2026, 11:00-11:45 Uhr, OH12/2.013
Kolja Simonis
Implementierung und Vergleich unterschiedlicher Techniken zur Backpropagation von State Constrains in Register Automaten
Betreuer: Prof. Dr. Hower
Bachelor-Abschlussvortrag
Montag, 13.07.2026, 14:15-15:00 Uhr, OH16/2.05
Tom Alexander Bank
Ein Dekompositionsansatz zur Berechnung von Schedules für Pick-and-Place Roboter
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 13.07.2026, 15:00-15:45 Uhr, OH16/2.05
Rida El Mardi
Entwicklung eines intelligenten Schallsignalortungssystems für autonome Schiffe auf ROS2 Basis
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 14.07.2026, 10:15-11:15 Uhr, OH14/E23
InstaDeep - Reinforcement Learning in Industry
Betreuer: Prof. Dr. Peitz
Kolloquium
Montag, 20.07.2026, 14:15-14:45, OH16/2.05
Safouene Fadhli
Mehrdimensionale Normalverteilungen in ASMo
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 24.08.2026, 14:15-15:00 Uhr, OH16/2.05
Kristiana Allkanjari
Modellierung und Analyse von Abhängigkeiten in mehrdimensionalen Daten mit Copulas
Betreuer: Falko Bause
Master-Abschlussvortrag
Montag, 28.09.2026, 14:15-15:00, OH16/2.05
Jakob Buballik
Design eines Dynamischen Priorisierungs-Systems für Fast Failover Routing Pfade
Betreuer: Prof. Dr. Förster
Master-Abschlussvortrag
