Montag, 01.06.2026, 15:00-15:30 Uhr, OH16/205
Ahmad Al Ahdab
Eine Software zur Analyse von M/M/1 Warteschlangen mit korrelierten Zwischenankunfts- und Bedienzeiten
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Mittwoch, 03.06.2026, 10:15-11:00 Uhr, OH12/2013
Erik Böttcher
Konzeption, Entwicklung und Evalution eines KI-basierten Werkezugs zur Erkennung medienrechtlicher Verstöße und Bewertung journalistischer Qualität
Betreuer: Prof. Falk Howar
Bachelor-Einführungsvortrag
Montag, 08.06.2026, 14:15-15:00 Uhr, OH16/205
Elif Korkmaz
Entwicklung einer Deep-Learning-Pipeline zur Detektion, Klassifikation und räumlichen Lokalisierung von Festmachpunkten in Hafenumgebungen
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 08.06.2026, 16:15-16:45 Uhr, OH12/2013
Johann Osing
Eindeutige Charakterisierungen durch Beispiele in Horn-Beschreibungslogiken
Betreuer: Prof. Dr. Jung
Master-Einführungsvortrag
Mittwoch, 10.06.2026, 10:15-11:00 Uhr, OH12/2013
Jonas Röger
Verifying non-deterministic mobile robotic implementations with symbolic execution
Betreuer: Prof. Falk Howar
Master-Abschlussvortrag
Mittwoch, 10.06.2026, 11:00-11:45 Uhr, OH12/2013
Julia Bellmann
Prognose des Energiebedarfs der Technischen Universität Dortmund mit Hilfe von statistischen maschinellen und tiefen Lernmethoden
Betreuer:
Master-Abschlussvortrag
Dienstag, 15.06.2026, 14:15-15:00 Uhr, OH16/205
Tobias Grabert
Entwicklung einer automatischen Migration von Web-Frontend-Frameworks am Beispiel Bootstrap V4 zu V5
Betreuer: Prof. Peter Buchholz
Bachelor-Abschlussvortrag
Montag, 22.06.2026, 14:15-15:00 Uhr, OH16/205
Mossaab Alabbadi
Modellierung und Analyse der Ausfallzeiten von Hardwarekomponenten mit ASMo
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 22.06.2026, 15:00-15:45, OH16/205
Tobias Hartleb
Entwicklung eines autonomen UKW-Funkgeräts mittels „Software Defined Radio“ für den intelligenten Hafenbetrieb
Betreuer: Prof. Peter Buchholz
Bachelor-Abschlussvortrag
Montag, 29.06.2026, 14:15-15:00 Uhr, OH16/205
Toka Al Daye
Zwei-Stichprobentests für große Datenmengen
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
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
Montag, 06.07.2026, 16:15-17:00 Uhr, OH12/3013
Lisa Henneberg
Lösen von Allgemeinen annahmenbasierten Argumentationsformalismen via QBF
Betreuer: Prof. Dr. Jung
Master-Abschlussvortrag
