-
Computer Science
-
Research
-
Colloquium and further lectures
Colloquium and further lectures archive
10.2025, 16:15:16:45, Room OH12/3.031 Andreas Kovalski A Comparison of Proof Systems for the Description Logic EL Supervisor: Prof. Dr. Jung Bachelor's thesis presentation Monday, 20.10.2025, 2025, 16:45-17:15 [...] Monday, 25.08.2025, 11:00-12:00, Room OH12/1.055 Prof. Dr. Frank Neven, University Hasselt The Robustness Problem for Database Transactions (English) Host: Prof. Dr. Schwentick Wednesday, 08.10.2025, 15:30–17:00 [...] Tuesday, 11.11.2025, 14:00–15:00, Room JvF25/303 Prof. Mong-Jen Kao Handling LP-Rounding for Hierarchical Clustering & Fitting Distances by Ultrametrics Host: Dr. Jens Buss Tuesday, 18.11.2025, 14:00–16:00 …