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!) |
Termine im kommenden Sommersemester 2026
| Datum | Vortrtagende/r | Titel des Vortrags | Art des Vortrags |
| 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 |
Termine im Wintersemester 2025/2026
| Datum | Vortragende/r | Titel des Vortrags | Art des Vortrags |
| 30.03.2026 | Alexander Joerges Minh Anh Nguyen | Aussagenlogische Kodierung von Kardinalitätsconstraints Charakterisierung effizienter exakter Lernbarkeit und eine Anwendung auf reguläre Sprachen | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |
| 02.03.2026 | Lucas Wilde | Berechnung von Interpolanten in ALCQ | Master-Einführungsvortrag |
| 02.02.2026 | Filip Mecklenburg (online via Zoom) Oliver Müller (online via Zoom) | Äquivalenzerhaltung für Verbesserungsoperatoren Vergleich zweier Ansätze zur priorisierten Antwortmengen-programmierung und deren Umsetzung mit Solver clingo | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |
| 12.01.2025 | Marcel Schäper (online via Zoom) | Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines | Bachelor-Einführungsvortrag |
| 15.12.2025 | Makhabbat Kazhybayeva Justus Nelson | Efficient Translations of Regular Expressions into Nondeterministic Finite Automata Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
| 08.12.2025 | Kevin Kliche Hendrik Ahrens Lisa Henneberg | Minimierung von deterministischen und good-for-games Omega-Automaten Edit-Distanz von regulären und kontextfreien Sprachen Lösen von Allgemeinen Annahmen-basierten Argumentationsformalismen via QBF | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag Master-Einführungsvortrag |
| 24.11.2025 | Michael Siebert | Optimale Separierung durch Beschreibungslogik-Konzepte | Bachelor-Einführungsvortrag |
| 10.11.2025 | Yannick Wehner Minh Anh Nguyen | Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln Charakterisierung von effizienter Lernbarkeit in unendlichen Konzeptklassen | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
| 03.11.2025 | Franz Nentwich (online via Zoom) | Komplexitätsuntersuchungen zur Implementation von c-Repräsentationen und c-Inferenz mit Hilfe von SMT | Master-Abschlussvortrag |
| 27.10.2025 | Alexander Joerges | Aussagenlogische Kodierung von Kardinalitätsconstraints | Bachelor-Einführungsvortrag |
| 20.10.2025 | Andreas Kovalski Johann Osing Simon Buschmann | A Comparison of Proof Systems for the Description Logic EL Das längste gemeinsame Präfix einer kontextfreien Sprache Aufzählung regulärer Sprachen mit beschränkter Verzögerung | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |