Thursday, 24.07.2025, 11:00 - 11:45 a.m., Room OH14/202
Khaled Younes
Parallelizable Recurrent Neural Networks for Memory Integration in Deep Reinforcement Learning Agents (English)
Advisor: Prof. Dr. Rudolph
Master's degree lecture
Monday, 28.07.2025, 14:15 - 14:45, Room OH16/205
Hannah Moldenhauer
Analyzing and Adapting Wake Up Behaviour in a Link Sleeping System (English)
Advisor: Prof. Dr. Förster
Bachelor final lecture
Monday, 18.08.2025, 14:15 - 14:45, Room OH16/205
Mohamed Afawi
Machine learning model for automatic market phase classification and strategy optimization based on the market phase (German)
Supervisor: Prof. Dr. Buchholz
Bachelor final presentation
Monday, 18.08.2025, 15:00 - 15:45, Room OH16/205
Fabian Weiß
Replication for Multiplayer Games: An Unreal Engine case study (English)
Supervisor: Prof. Dr. Buchholz
Bachelor final lecture
Monday, 01.09.2025, 16:15–16:45, Zoom meeting
Filip Mecklenburg
Equivalence preservation for improvement operators
Supervisor: Prof. Dr. Kern-Isberner
Introductory lecture for bachelor's students
Monday, 22.09.2025, 16:15 - 16:45, via Zoom
Oliver Müller
Comparison of two approaches to prioritized response programming and their implementation with the clingo solver
Supervisor: Prof. Dr. Gabriella Kern-Isberner
Introductory lecture
Monday, 29.09.2025, 14:15 - 15:00, Room OH16/205
Nicole Kirchheim
Detection of outliers in large data sets (German)
Supervisor: Prof. Dr. Buchholz
Master final lecture
Monday, 29.09.2025, 16:15 - 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 Ulianov
Proof strength of CDCL SAT solvers
Supervisor: Prof. Dr. Jean Christoph Jung
Bachelor final lecture
Monday, 29.09.2025, 15:30-16:15, Room OH12/3.013
Leandro Teixeira Crespo
Comparison of different prediction methods on rheumatism data (hybrid)
Supervisor: Prof. Dr. Kern-Isberner
Master's final presentation
Tuesday, 14.10.2025, 16:00–16:45, Room OH12/3.027
Nils Breiksch
Fair clustering: strong privacy with additional restrictions
Supervisor: Prof. (apl.) Dr. Beate Bollig
Bachelor's thesis presentation
Monday, 20.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, Room OH12/3.031
Johann Osing
The longest common prefix of a context-free language
Supervisor: Prof. Dr. Schwentick
Bachelor's thesis presentation
Monday, 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, Room OH12/3.031
Michael Siebert
Optimal separation through description logic concepts
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, 27.10.2025, 16:45–17:15, Room OH12/3.031
Alexander Jörges
Propositional logic coding of cardinality constraints
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, 03.11. 2025, 16:15–17:00, Room OH12/3.031
Franz Nentwich
Complexity studies on the implementation of c-representations and c-inference using SMT
Supervisor: Prof. Dr. Kern-Isberner
Master's thesis presentation
