Wednesday, December 3, 2025, 10:15-11:00 a.m., Room OH12/2013
Nico Koltermann
Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving
Supervisor: Prof. Dr. Falk Hower
Master's thesis presentation
Wednesday, December 3, 2025, 11:00 a.m.–11:45 a.m., Room OH12/2013
Niklas Domagalla
Development of a Prototype for Master Data Extraction from Unstructured Documents in Case Management Using Natural Language Processing
Supervisor: Prof. Dr. Falk Hower
Master's thesis presentation
Monday, December 8, 2025, 17:15–17:45, Room OH12/3.031
Lisa Henneberg
Solving general assumption-based argumentation formalisms via QBF
Supervisor: Prof. Dr. Jung
Master's introductory lecture
Monday, December 8, 2025, 4:15–4:45 p.m., Room OH12/3.031
Kevin Kliche
Minimization of deterministic and good-for-games omega automata
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture
Monday, December 8, 2025, 4:45–5:15 p.m., Room OH12/3.031
Hendrik Ahrens
Edit distance of regular and context-free languages
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture
Monday, December 8, 2025, 2:15–3:00 p.m., Room OH16/205
Moustafa Wafaei Baaj
Significance tests for large data sets
Supervisor: Prof. Dr. Buchholz
Bachelor's thesis presentation
Monday, December 8, 2025, 3:00–3:45 p.m., Room OH16/205
Lucas Gädke
Development of software for error diagnosis and operating data acquisition of robot systems through analysis of log files
Supervisor: Prof. Dr. Buchholz
Bachelor's thesis presentation
Tuesday, December 9, 2025, 12:00 p.m.–1:00 p.m., Room OH12/2013
Lukas Vieweg
Development of routing algorithms with dynamic meeting points for mobile robots in order picking
Supervisor: Prof. Dr. Rehof
Bachelor's introductory lecture
Tuesday, December 9, 2025, 11:00 a.m.–12:00 p.m., Room OH12/2013
Arnur Begaliyev
Imperative Enumeration for Term Languages
Supervisor: Prof. Dr. Rehof
Bachelor's thesis presentation
Monday, December 15, 2025, 4:15–4:45 p.m., Room OH12/3.031
Makhabbat Kazhybayeva
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture
Monday, December 15, 2025, 4:45–5:15 p.m., Room OH12/3.031
Justus Nelson
Enumeration of query results on SLP-compressed documents
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture
Monday, January 12, 2026, 4:15–4:45 p.m., via Zoom
Marcel Schäper
Comparison of rule-based systems for invoice verification: ASP vs. rule engines
Supervisor: Prof. Dr. Gabriele Kern-Isberner
Introductory lecture for bachelor's students
Tuesday, January 13, 2026, 11:00 a.m.–12:00 p.m., Room OH12/2013
Alexandra Latys
Analyzing Simple Formally Verified Models of Computation
Supervisor: Prof. Dr. Rehof
Master's thesis presentation
