-
Computer Science
-
Research
Colloquium and further lectures
A Defense of Reality Host: Prof. Dr. Steffen Bachelor and Master lectures Monday, March 23, 2026, 3:00–3:30 p.m., Room OH16/205 Ahmed Eldesouki Combining Failover Routing Mechanisms for Sparse and Dense [...] m., OH12/3.031 Alexander Joerges Propositional logic coding of cardinality constraints Supervisor: Prof. Dr. Jung Bachelor's thesis presentation Monday, March 30, 2026, 4:45–5:15 p.m., OH12/3.031 Minh [...] Supervisor: Prof. Dr. Buchholz Introductory lecture for bachelor's students Monday, April 13, 2026, 3:00–3:45 p.m., OH16/205 Florian Pohl Artificial Intelligence for the Automated Classification of Project …