Bachelor- und Masterseminar
Das Bachelor- und Masterseminar findet bis auf weiteres online 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 | Priorisierte Aufzählung von Und-Anfrage-Ergebnissen | Bachelor-Abschlussvortrag |
| 28.10.2024 | Larissa Papp (Zoom) | Forgetting-Operatoren für totale Präordnungen | Bachelor-Abschlussvortrag |