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 |
Aktuelle Termine im Wintersemester 2024/2025
| Datum | Vortragende/r | Titel des Vortrags | Art des Vortrags |
| 14.10.2024 | Nils Schneider Patrick Pawelczyk | Priorisierte Aufzählung von Und-Anfrage-Ergebnissen Supervised Learning of First-Order Formulas in Prenex Form | Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag |
| 21.10.2024 | Lukas Gründer Jason Ball | Optimierung des Grounding-Prozesses in der Antwortmengen-Programmierung Separierung von Beispielen durch konjunktive Anfragen beschränkter Größe | Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag |
| 28.10.2024 | Larissa Papp (Zoom) Timo Frommann Pia Imiolczyk | Forgetting-Operatoren für totale Präordnungen Ligaspielplan-Erstellung mit Hilfe von Antwortmengen-Programmierung Spiele für Logiken mit Zählquantoren | Bachelor-Abschlussvortrag Bachelor-Einführungsvortrag Bachelor-Abschlussvortrag |
| 11.11.2024 | Samer Kouki | Berechnung der unteren und oberen Nachbarschaft von EL-Konzepten | Bachelor-Einführungsvortrag |
| 25.11.2024 | Lukas Pradel | Learnability of Regular Path Queries (engl) | Master-Abschlussvortrag |
| 09.12.2024 | Daniel Albert | On parallel constant-time string algorithms | Master-Abschlussvortrag |
| 20.01.2025 | Daniel Alexander Spenner | Decomposing Finite Languages with an Eye on Efficiency | Master-Einführungsvortrag |
| 10.02.2025 | Antonia van Ophuysen | Charakterisierung und Erkennung von Wheeler-Automaten | Bachelor-Einführungsvortrag |