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
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, August 31, 2026, 2:15-3:00 p.m., OH12/3027
Bertran Demiroglu
Capacitated k-center clustering mit fairer Centermenge
Advisor: Prof. Beate Bollig
Bachelor’s Thesis Presentation
Monday, September 14, 2026, 2:15-3:00 p.m., OH16/2.05
Firas Chadoura
Vehicle Model Development for Model Predictive Control: Application to an Autonomous Formula Student Race Car
Advisor: Prof. Buchholz
Bachelor’s Thesis Presentation
Tuesday, September 22, 2026, 4:45–5:15 p.m., OH12/3.031
Patrick Pijasecki
SAT-Based Extraction of Definitions from Knowledge Bases
Advisor: Prof. Jung
Bachelor’s Thesis Presentation
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
Tuesday, September 29, 2026, 4:15–5:00 p.m., OH12/3.031
Lucas Wilde
Craig Interpolation for Degree-Restricted Modal Logic
Advisor: Prof. Jung
Master’s Thesis Presentation
Tuesday, September 29, 2026, 5:00–5:30 p.m., OH12/3.031
Noah Thebelt
Graph Neural Networks in the Context of Concept Learning
Advisor: Prof. Jung
Bachelor’s Thesis Presentation
Tuesday, October 6, 2026, 4:15–4:45 p.m., OH12/3.031
Michael Mann
Transparent Task Allocation in Clinical Nursing through Contrastive Explanations in Answer Set Programming
Advisor: Prof. Jung
Bachelor’s Thesis Presentation
Tuesday, October 20, 2026, 4:15–4:45 p.m., OH12/3.031
Benny Bergen
Finite Characterizations of LTL Formulas
Advisor: Prof. Jung
Bachelor’s Thesis Presentation
Tuesday, October 20, 2026, 4:45–5:15 p.m., OH12/3.031
Alexander Koziol
Benchmark Suite for Learning Description Logic Concepts
Advisor: Prof. Jung
Bachelor’s Thesis Presentation
Tuesday, October 20, 2026, 5:15–5:45 p.m., OH12/3.031
Marian Holschen
Results on the Regularity Problem for Deterministic Context-Free Languages
Advisor: Prof. Schwentick
Bachelor’s Thesis Presentation
Tuesday, November 3, 2026, 4:15–4:45 p.m., OH12/3.031
Dushan Oravskyi
Analysis of State Complexity in the Determinization of Finite Automata
Advisor: Prof. Schwentick
Bachelor’s Thesis Presentation
Tuesday, November 3, 2026, 4:45–5:15 p.m., Oh12/3.031
Jannes Große Vestert
Randomized Sliding Window Algorithms for Regular Languages
Advisor: Prof. Schwentick
Bachelor’s Thesis Presentation
