Tuesday, December 16, 2025, 4:00–4:30 p.m., Room OH12/3.027
Burak Tosun
Linear Group Testing
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation
Tuesday, December 16, 2025, 4:30–5:00 p.m., Room OH12/3.027
Michael Alexander Feinermann
Analysis of the DBLP Database
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation
Tuesday, December 16, 2025, 5:00–5:30 p.m., Room OH12/3.027
Meliha Kocak
The Four Color Theorem
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation
Monday, January 5, 2026, 2:15–2:45 p.m., Room OH16/205
Julian Tuxhorn
Development of safety-critical AI-based positioning components for autonomous inland waterway transport
Supervisor: Prof. Dr. Buchholz
Master's introductory presentation
Monday, January 5, 2026, 3:00–3:45 p.m., Room OH16/205
Ismail Khlif
Time series analysis with the TFT model in ASMo
Supervisor: Prof. Dr. Buchholz
Bachelor's final presentation
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
