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
Wednesday, July 1, 2026, 10:15–11:00 a.m., OH12/2.013
Nicolas Thurow
Automatic Generation of Traffic Scenarios Based on Missing Scenario Classes Using Scenic
Advisor: Prof. Dr. Hower
Bachelor’s Thesis Presentation
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
Wednesday, July 8, 2026, 10:15-11:00 a.m., OH12/2.013
Louis Radtke
Establishing a Management Software for Transient Resesarch Data
Advisor: Prof. Dr. Hower
Master’s Thesis Defense
Wednesday, July 8, 2026, 11:00-11:45 a.m., OH12/2.013
Kolja Simonis
Implementation and Comparison of Different Techniques for Backpropagation of State Constraints in Register Automata
Advisor: Prof. Dr. Hower
Bachelor’s Thesis Presentation
Monday, July 13, 2026, 2:15–3:00 p.m., OH16/205
Tom Alexander Bank
A Decomposition Approach for Calculating Schedules for Pick-and-Place Robots
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Monday, July 13, 2026, 3:–3:45 p.m., OH16/205
Rida El Mardi
Development of an Intelligent Acoustic Signal Localization System for Autonomous Ships Based on ROS2
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Tuesday, July 14, 2026, 10:15-11:15 a.m., OH14/E23
InstaDeep - Reinforcement Learning in Industry
Advisor: Prof. Dr. Peitz
Kolloquium
Monday, July 20, 2026, 2:15-2:45 p.m., OH16/205
Safouene Fadhli
Multidimensional Normal Distributions in ASMo
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Monday, July 24, 2026, 2:15-2:45, OH16/205
Kristiana Allkanjari
Modeling and Analyzing Dependencies in Multidimensional Data Using Copulas
Advisor: Falko Bause
Master’s Thesis Defense
Monday, September 28, 2026, 2:15-3:00 p.m., OH16/2.05
Jakob Buballik
Design of a Dynamic Prioritization System for Fast Failover Routing Paths
Advisor: Prof. Dr. Förster
Master’s Thesis Defense
