Wednesday, April 8, 2026, 11:00–11:45 a.m., OH12/2013
Tuqa Alhalabi
Trust in Autonomous Vehicles: An Empirical Study Using Interviews and a Questionnaire
Advisor: Prof. Dr. Howar
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 classes of propositional logic formulas
Supervisor: Prof. Dr. Jung
Bachelor's thesis presentation
Monday, April 13, 2026, 4:45–5:17 p.m., OH12/3.013
Andrea Heinle
Use of Iltis in logic programming
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, April 13, 2026, 2:15–2:45 p.m., OH16/205
Alexander Wrede
A Python library for max-plus matrices
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 Tenders Based on Relevance and Jurisdiction
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Tuesday, April 14, 2026, 4:15–4:45 p.m., via Zoom
Marcel Schäper
Comparison of Rule-Based Systems for Invoice Verification: ASP vs. Rule Engines
Advisor: Prof. Dr. Kern-Isberner
Bachelor’s Thesis Presentation
Monday, April 20, 2026, 2:15–2:45 p.m., Room OH16/205
Nils Thesing
Pathfinding in Amoetbot Structures with Holes
Advisor: Prof. Dr. Förster
Bachelor’s Introductory Lecture
Monday, April 20, 2026, 3:00–3:30 p.m., OH16/205
Houssam Taleb
Development of a Tool for Visualizing Failover Routing Strategies
Advisor: Prof. Dr. Förster
Bachelor’s Introductory Presentation
Monday, April 20, 2026, 4:15–4:45 p.m., OH12/3013
Michael Mann
Transparent Task Allocation in Clinical Nursing through Contrastive Explanations in Response Set Programming
Advisor: Prof. Dr. Jung
Bachelor’s Introductory Lecture
Monday, April 20, 2026, 4:45–5:15 p.m., OH12/3013
Noah Thebelt
Graph Neural Networks in the Context of Concept Learning
Advisor: Prof. Dr. Jung
Bachelor's Introductory Lecture
Monday, April 20, 2026, 4:45–5:15 p.m., OH12/3013
Patrick Pijasecki
SAT-based extraction of definitions from knowledge bases
Advisor: Prof. Dr. Jung
Bachelor's Introductory Lecture
Tuesday, April 21, 2026, 4:15–4:45 p.m., OH12/3.031
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Makhabbat Kazhybayeva
Supervisor: Prof. Schwentick
Bachelor's thesis presentation
Tuesday, April 21, 2026, 4:45–5:15 p.m., OH12/3.031
Minimization of deterministic and good-for-games omega automata
Kevin Kliche
Supervisor: Prof. Schwentick
Bachelor's thesis presentation
Monday, April 27, 2026, 2:15–3:00 p.m., OH16/205
Hatim Bouzian
Estimating Forecast Evaluation Metrics Using Meta-Learning in a Forecasting Tool
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Monday, April 27, 2026, 3:00–3:45 p.m., OH16/205
Redouan Kacimi
Transparent Evaluation of Time Series Forecasts in a Forecasting Tool
Advisor: Prof. Dr. Buchholz
Bachelor’s Thesis Presentation
Tuesday, 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., OH12/3.031
Edit distance of regular and context-free languages
Hendrik Ahrens
Supervisor: Prof. Schwentick
Bachelor's thesis presentation
