Wednesday, May 13, 2026, 10:15–11:00 a.m., OH12/2013
Lilly Mielke
Comparison of Classical Automata Learning with Process Mining for Generating Formal Models
Advisor: Prof. Dr. Hower
Bachelor’s Introductory Lecture
Wednesday, May 13, 2026, 11:00 a.m.–12:00 p.m., OH12/2013
Mohammadreza Javadikouchaksaraei
Evaluation of Deployment Approaches for Complex Industry 4.0 Applications in the Context of the PURIS Case Study Based on Eclipse Tractus-X
Advisor: Prof. Dr. Hower
Bachelor’s Introductory Lecture
Monday, May 18, 2026, 2:00–2:45 p.m., OH16/205
Julian Tuxhorn
Development of safety-critical KL-based positioning components for autonomous inland waterway shipping
Advisor: Prof. Dr. Buchholz
Master’s Thesis Presentation
Monday, May 18, 2026, 3:00–3:45 p.m., OH16/205
Malek Aloui
Development of an AI-based Detection and Tracking Pipeline for Swimmers and Small Watercraft in Harbor Environments based on ROS 2
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
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
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
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