Dienstag, 25.11.2025, 16:00-17:00 Uhr, Raum OH12/3.027
Yannis Klindworth
On the Number of Solutions of a random k-SAT Instance
Betreuer: Prof. Dr. Coja-Oghlan
Master-Abschlussvortrag
Mittwoch, 26.11.2025, 10:15-11:00 Uhr, Raum OH12/2013
Alex Dwucet
Analyse und Evaluierung digitaler Wasserzeichenverfahren auf verschiedenen Dateitypen
Betreuer: Prof. Dr. Falk Hower
Master-Abschlussvortrag
Mittwoch, 26.11.2025, 11:00-11.45 Uhr, Raum OH12/2013
Louis Radtke
Establishing a Management Software for Transient Resesarch Data
Betreuer: Prof. Dr. Falk Hower
Master-Einführungsvortrag
Montag, 01.12.2025, 14:15-14:45 Uhr, Raum OH16/205
Toka Al Daye
Testverfahren zum Vergleich von Stichproben
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Montag, 08.12.2025, 17:15-17:45 Uhr, Raum OH12/3.031
Lisa Henneberg
Lösen von Allgemeinen Annahmen-basierten Argumentationsformalismen via QBF
Betreuer: Prof. Dr. Jung
Master-Einführungsvortrag
Montag, 08.12.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Kevin Kliche
Minimierung von deterministischen und good-for-games Omega-Automaten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 08.12.2025, 16:45-17:15 Uhr, Raum OH12/3.031
Hendrik Ahrens
Edit-Distanz von regulären und kontextfreien Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Dienstag, 09.12.2025, 12:00-13:00 Uhr, Raum OH12/2013
Lukas Vieweg
Entwicklung von Routingalgorithmen mit dynamischen Treffpunkten für mobile Roboter in der Kommissionierung
Betreuer: Prof. Dr. Rehof
Bachelor-Einführungsvortrag
Dienstag, 09.12.2025, 11:00-12:00 Uhr, Raum OH12/2013
Arnur Begaliyev
Imperative Enumeration for Term Languages
Betreuer: Prof. Dr. Rehof
Bachelor-Abschlussvortrag
Montag, 15.12.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Makhabbat Kazhybayeva
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 15.12.2025, 16:45-17:15 Uhr, Raum OH12/3.031
Justus Nelson
Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 12.01.2026, 16:15-16:45 Uhr, via Zoom
Marcel Schäper
Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines
Betreuer: Prof. Dr. Gabriele Kern-Isberner
Bachelor-Einführungsvortrag
Dienstag, 13.01.2026, 11:00-12:00 Uhr, Raum OH12/2013
Alexandra Latys
Analysing Simple Formally Verified Models of Computation
Betreuer: Prof. Dr. Rehof
Master-Abschlussvortrag
