Mittwoch, 21.01.2026, 10:15-11:00 Uhr, Raum OH12/2013 und hybrid
Laurenz Levi Spielmann
Implementierung und Evaluation von Meta-Solving-Strategien für SMT-Solver
Betreuer: Prof. Dr. Howar
Bachelor-Einführungsvortrag
Mittwoch, 21.01.2026, 11:00-11:45 Uhr, Raum OH12/2013 und hybrid
Lars Litzschke
Implementation and Comparison of different Verification Methods for a formally defined educational Programming Language
Betreuer: Prof. Dr. Howar
Master-Abschlussvortrag
Montag, 26.01.2026, 14:15-15:00 Uhr, Raum OH16/205
Alexander Lupatsiy
Analyse von MAC-Protokollen für MANets unter Verwendung von LoRa in Katastrophenszenarien / Evaluation of MAC Protocols for MANETs Using LoRa in Disaster Scenarios
Betreuer: Prof. Dr. Buchholz
Master-Abschlussvortrag
Montag, 26.01.2026, 15:00-15:30 Uhr, Raum OH16/205
Andrei Shvaiko
Entwicklung einer Signalverarbeitungspipeline und eines Prototypen zur Detektion von Schiffssignalen im Hafen und Ausgabe von Warnmeldungen
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Dienstag, 27.01.2026, 11:15-12:00 Uhr, Raum OH14/E04
Felix Wolff
Automated Search for Constraint-Based Robot Designs in Motion Planning Scenarios
Betreuer: Prof. Dr. Rehof
Master-Abschlussvortrag
Montag, 02.02.2026, 16:15-16:45 Uhr, via Zoom
Filip Mecklenburg
Äquivalenzerhaltung für Verbesserungsoperatoren
Betreuer: Prof. Dr. Kern-Isberner
Bachelor-Abschlussvortrag
Montag, 02.02.2026, 16:45-17:15 Uhr, via Zoom
Oliver Müller
Vergleich zweier Ansätze zur priorisierten Antwortmengenprogrammierung und deren
Umsetzung mit Solver clingo
Betreuer: Prof. Dr. Kern-Isberner
Bachelor-Abschlussvortrag
