-
Computer Science
-
Research
Colloquium and further lectures
8, 2026, 4:15–4:45 p.m., OH12/2013 Johann Osing Unambiguous Characterizations via Examples in Horn Description Logics Advisor: Prof. Dr. Jung Master’s Introductory Lecture Wednesday, June 10, 2026, 10:15-11:00 [...] 22, 2026, 2:15–3:00 p.m., OH16/205 Mossaab Alabbadi Modeling and Analysis of Hardware Component Failures Using ASMo Advisor: Prof. Dr. Buchholz Bachelor’s Thesis Presentation Monday, June 22, 2026, 15:00-15:45 [...] n Monday, June 29, 2026, 2:15–3:00 p.m., OH16/205 Toka Al Daye Two-Sample Tests for Large Datasets Advisor: Prof. Dr. Buchholz Bachelor’s Thesis Presentation Tuesday, June 30, 2026, 4:15–4:45 p.m., OH12/3 …
