-
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 [...] Colloquium and lectures Archive 2025 Previous tab Next tab Department colloquium Bachelor and Master Lectures Department colloquium Wednesday, 20.08.2025, 10:00, Room OH14/E14 Prof. Dr. Martin Törngren [...] 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 …