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, 31.08.2026, 14:15-15:00, OH12/3027
Bertran Demiroglu
Capacitated k-center clustering mit fairer Centermenge
Betreuerin: Prof. Beate Bollig
Bachelor-Abschlussvortrag
Montag, 14.09.2026, 14:15-15:00, OH16/2.05
Firas Chadoura
Vehicle Model Development for Model Predictive Control: Application to an Autonomous Formula Student Race Car
Betreuer: Prof. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 15.09.2026, 14:00-15:00, OH12/2.031
Philip Skrobotz
Ressorurcengerechte Enumeration von Termsprachen
Betreuer: Andrej Dudenhefner
Bachelor-Abschlussvortrag
Montag, 21.09.2026, OH16/2.05
Alexander Wrede
Eine Python-Bibliothek für Max-Plus-Matrizen
Betreuer: Prof. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 22.09.2026, 16:15-16:45, OH12/3.031
Tim Betait
Zur Berechnung bedingter Unabhängigkeit in abstrakter Argumentation mittels Quantifizierter Boolescher Formeln
Betreuerin: Anna Rapberger
Bachelor-Abschlussvortrag
Dienstag, 22.09.2026, 16:45-17:15, OH12/3.031
Patrick Pijasecki
SAT-basierte Extraktion von Definitionen aus Wissensbasen
Betreuer: Prof. Jung
Bachelor-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
Montag, 28.09.2026, 15:00-15:45, OH16/2.05
Nils Thesing
Wegfindung in löcherbehafteten Amoebot-Strukturen
Betreuer: Prof. Dr. Förster
Master-Abschlussvortrag
Dienstag, 29.09.2026, 16:15-17:00, OH12/3.031
Lucas Wilde
Craig-Interpolation für Gradbeschränkte Modallogik
Betreuer: Prof. Jung
Master-Abschlussvortrag
Dienstag, 29.09.2026, 17:00-17:30, OH12/3.031
Noah Thebelt
Graphneuronale Netzwerke im Kontext des Konzept-Lernens
Betreuer: Prof. Jung
Bachelor-Abschlussvortrag
Montag, 05.10.2026, 14:15-15:00, OH16/2.05
Vincent Kallenbach
Konzeption und prototypische Umsetzung einer zentralen Monitoring-Lösung für heterogene Netzwerkkomponenten in Unternehmensumgebungen
Betreuer: Prof. Förster
Bachelor-Abschlussvortrag
Dienstag, 06.10.2026, 16:15-16:45, OH12/3.031
Michael Mann
Transparente Aufgabenverteilung in der klinischen Pflege durch kontrastive Erklärungen in der Antwortmengenprogrammierung
Betreuer: Prof. Jung
Bachelor-Abschlussvortrag
Dienstag, 20.10.2026, 16:15-16:45, OH12/3.031
Benny Bergen
Endliche Charakterisierungen von LTL-Formeln
Betreuer: Prof. Jung
Bachelor-Abschlussvortrag
Dienstag, 20.10.2026, 16:45-17:15, OH12/3.031
Alexander Koziol
Benchmark-Suite für das Lernen von Beschreibungslogik-Konzepten
Betreuer: Prof. Jung
Bachelor-Abschlussvortrag
Dienstag, 20.10.2026, 17:15-17:45, OH12/3.031
Marian Holschen
Resultate zum Regularitätsproblem für deterministisch kontextfreie Sprachen
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
Dienstag, 03.11.2026, 16:15-16:45, Oh12/3.031
Dushan Oravskyi
Analyse der Zustandskomplexität bei der Determinisierung endlicher Automaten
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
Dienstag, 03.11.2026, 16:45-17:15, Oh12/3.031
Jannes Große Vestert
Randomisierte Sliding Window Algorithmen für reguläre Sprachen
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
