-
Computer Science
-
Research
-
Colloquium and further lectures
Colloquium and further lectures archive
16:15–16:45, Room OH12/3.031 Michael Siebert Optimal separation through description logic concepts Supervisor: Prof. Dr. Jung Bachelor's introductory lecture Monday, November 24, 2025, 3:00–3:30 p.m., Room OH16/205 [...] 16:45, Room OH12/3.031 Alexander Kokh QBF Prover based on Abstraction Refinement Supervisor: Prof. Dr. Jean Christoph Jung Bachelor final lecture Monday, 29.09.2025, 16:45 - 17:15, Room OH12/3.031 Aleksandr [...] 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, Room OH12/3.031 Johann …