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 | Dienstags, 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 | Vortragende/r | Titel des Vortrags | Art des Vortrags |
| 30.06.2026 | Dushan Oravskyi Jannes Große Vestert Marian Hoischen | Analyse der Zustandskomplexität bei der Determinisierung endlicher Automaten Randomisierte Sliding Window Algorithmen für reguläre Sprachen Resultate zum Regularitätsproblem für deterministisch kontextfreie Sprachen | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
| 08.06.2026 (Montagstermin! Raum 3.013!) | Johann Osing | Eindeutige Charakterisierungen durch Beispiele in Horn-Beschreibungslogiken | Master-Einführungsvortrag |
| 04.05.2026 (Montagstermin! Raum 3.013!) | Tim Betait | Zur Berechnung bedingter Unabhängigkeit in abstrakter Argumentation mittels Quantifizierter Boolescher Formeln | Bachelor-Einführungsvortrag |
| 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 |