Monday, March 23, 2026, 3:00–3:30 p.m., Room OH16/205
Ahmed Eldesouki
Combining Failover Routing Mechanisms for Sparse and Dense Networks
Advisor: Prof. Dr. Förster
Bachelor’s Thesis Introductory Presentation
Monday, March 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.m., OH12/3.031
Minh Anh Nguyen
Characterization of efficient exact learnability and an application to 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 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
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
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
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
