-
Computer Science
-
Research
Colloquium and further lectures
30, 2026, 4:15–4:45 p.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 [...] April 28, 2026, 4:15–4:45 p.m., OH12/3.031 Listing query results on SLP-compressed documents Justus Nelson Supervisor: Prof. Schwentick Bachelor's thesis presentation Tuesday, April 28, 2026, 4:45–5:15 p.m [...] regular languages Supervisor: Prof. Dr. Jung Bachelor's thesis presentation Monday, April 13, 2026, 4:15–4:45 p.m., OH12/3.031 Yannick Wehner Characterization of efficient learnability and application to …