Einladung
Die im Rahmen des Promotionsverfahrens von Nuria Brede durchzuführende öffentliche Disputation findet
am Donnerstag, dem 28. November 2024, um 9:30 Uhr im Raum 2.70.0.11
(Universitätskomplex 2 in Golm, Haus 70, Raum 0.11) statt.
Das Thema der von Nuria Brede in der Wissenschaftsdisziplin "Theoretische Informatik" eingereichten Dissertation lautet
"On Monadic Backward Induction and Extensional Equality Preservation in Intensional Type Theory" .
Ein Exemplar der Dissertation sowie der wissenschaftlichen Zusammenfassung liegen gemäß § 9 Abs. 4 der Promotionsordnung bis einen Tag vor der Disputation öffentlich aus.
Prof. Dr.-Ing. Ulrike Lucke
Vorsitz der Prüfungskommission
