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