-
Computer Science
-
Research
Colloquium and further lectures
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 [...] 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 [...] 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 …