Monday, June 1, 2026, 3:00–3:30 p.m., OH16/205
Ahmad Al Ahdab
Software for Analyzing M/M/1 Queues with Correlated Inter-Arrival and Service Times
Advisor: Prof. Dr. Buchholz
Bachelor’s Introductory Lecture
Wednesday, June 3, 2026, 10:15-11:00 a.m. , OH12/2013
Erik Böttcher
Design, Development, and Evaluation of an AI-Based Tool for Detecting Media Law Violations and Assessing Journalistic Quality
Advisor: Falk Howar
Bachelor’s Introductory Lecture
Monday, June 8, 2026, 2:15–3:00 p.m., OH16/205
Elif Korkmaz
Development of a deep learning pipeline for the detection, classification, and spatial localization of mooring points in port environments
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Monday, June 8, 2026, 4:15–4:45 p.m., OH12/2013
Johann Osing
Unambiguous Characterizations via Examples in Horn Description Logics
Advisor: Prof. Dr. Jung
Master’s Introductory Lecture
Wednesday, June 10, 2026, 10:15-11:00 a.m., OH12/2013
Jonas Röger
Verifying non-deterministic mobile robotic implementations with symbolic execution
Advisor: Prof. Falk Howar
Master’s Thesis Defense
Wednesday, June 10, 2026, 11:00-11:45 a.m., OH12/2013
Julia Bellmann
Forecasting Energy Demand at the Technical University of Dortmund Using Statistical, Machine Learning, and Deep Learning Methods
Advisor: Prof. Falk Howar
Master’s Thesis Defense
Wednesday, June 15, 2026, 14:15-15:00 p.m., OH16/205
Tobias Grabert
Development of an automated migration process for web front-end frameworks, using Bootstrap V4 to V5 as an example
Advisor: Prof. Peter Buchholz
Bachelor’s Thesis Presentation
Monday, June 22, 2026, 2:15–3:00 p.m., OH16/205
Mossaab Alabbadi
Modeling and Analysis of Hardware Component Failures Using ASMo
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Monday, June 22, 2026, 15:00-15:45 p.m., OH16/205
Tobias Hartleb
Development of an autonomous VHF radio using “software-defined radio” for smart port operations
Advisor: Prof. Peter Buchholz
Bachelor’s Thesis Presentation
Monday, June 29, 2026, 2:15–3:00 p.m., OH16/205
Toka Al Daye
Two-Sample Tests for Large Datasets
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Tuesday, June 30, 2026, 4:15–4:45 p.m., OH12/3.031
Dushan Oravskyi
Analysis of State Complexity in the Determinization of Finite Automata
Advisor: Prof. Dr. Schwentick
Bachelor’s Introductory Lecture
Tuesday, June 30, 2026, 4:45–5:15 p.m., OH12/3.031
Jannes Große Vestert
Randomized Sliding Window Algorithms for Regular Languages
Advisor: Prof. Dr. Schwentick
Bachelor's Introductory Lecture
Tuesday, June 30, 2026, 5:15–5:45 p.m., OH12/3.031
Marian Holschen
Results on the regularity problem for deterministic context-free languages
Advisor: Prof. Dr. Schwentick
Bachelor's Introductory Lecture
Monday, July 6, 2026, 4:15–5:00 p.m., OH12/3013
Lisa Henneberg
Solving General Assumption-Based Argumentation Formalisms via QBF
Advisor: Prof. Dr. Jung
Master’s Thesis Defense
