-
Computer Science
-
Research
Colloquium and further lectures
port environments Advisor: Prof. Dr. Buchholz Bachelor’s Thesis Presentation Monday, June 8, 2026, 4:15–4:45 p.m., OH12/2013 Johann Osing Unambiguous Characterizations via Examples in Horn Description Logics [...] Large Datasets Advisor: Prof. Dr. Buchholz Bachelor’s Thesis Presentation Tuesday, June 30, 2026, 4:15–4:45 p.m., OH12/3.031 Dushan Oravskyi Analysis of State Complexity in the Determinization of Finite [...] tab Department colloquium Bachelor and Master lectures Department colloquium Wednesday, May 27, 2026, 4:00–6:00 p.m., Room OH14/E23 Assistant Professor Dr. Matthias Feuer Inaugural Lecture: “What Can We Automate …
