Bachelor- und Masterseminar
Das Bachelor- und Masterseminar findet in Präsenz statt.
Allgemeines
| Veranstalter | Lehrstuhl Informatik I - Logik in der Informatik |
| Ort | Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting |
| Zeit | Montags, 16:15 Uhr |
| Wichtige Information! | Ab dem Sommersemester findet das Bachelor- und Masterseminar regulär dienstags im Raum 3.031 statt (Nur in Einzelfällen montags, dann jedoch mit Raumänderung verbunden!) |
Aktuelle Termine im Sommersemester 2026
| Datum | Vortrtagende/r | Titel des Vortrags | Art des Vortrags |
| 28.04.2026 | Justus Nelson Hendrik Ahrens | Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten Edit-Distanz von regulären und kontextfreien Sprachen | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |
| 21.04.2026 | Makhabbat Kazhybayeva Kevin Kliche | Efficient Translations of Regular Expressions into Nondeterministic Finite Automata Minimierung von deterministischen und good-for-games Omega-Automaten | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |
| 20.04.2026 (Montagstermine! Raum 3.013!) | Michael Mann Noah Thebelt Patrick Pijasecki | Transparente Aufgabenverteilung in der klinischen Pflege durch kontrastive Erklärungen in der Antwortmengenprogrammierung Graphneuronale Netzwerke im Kontext des Konzept-Lernens SAT-basierte Extraktion von Definitionen aus Wissensbasen | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
| 14.04.2026 | Marcel Schäper (online via Zoom) | Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines | Bachelor-Abschlussvortrag |
| 13.04.2026 (Montagstermine! Raum 3.013!) | Yannick Wehner Andrea Heinle | Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln Einsatz von Iltis in der Logik-Programmierung | Bachelor-Abschlussvortrag Bachelor-Einführungsvortrag |