-
Computer Science
-
Research
Colloquium and further lectures
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 [...] Department colloquium Wednesday, 08.10.2025, 15:30–17:00, Room JvF25/303 and Zoom Prof. Dr. Joao Gama AUTOML for Data Streams Host: Dr. Jens Buss Thursday, 11.12.2025, 10:00-12:00 p.m., Room JvF25/303 Prof [...] 20.10.2025, 17:15-17:45, Room OH12/3.031 Simon Buschmann Enumeration of regular languages with limited delay Supervisor: Prof. Dr. Schwentick Bachelor's thesis presentation Monday, 27.10.2025, 16:15–16:45 …