DiDo Vortragsliste 2024
Das DiDo-Seminar ist eine Veranstaltung für Bachelor- und Masterstudierende, DoktorandInnen und Postdocs. Weiterführende Informationen sind auf der DiDo-Seminar Seite zu finden.
2024
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 11.06.2024 | 14:15 | OH12 2.013 | Benedict Christian Smit | LS14 / Rehof | MA Einführungsvortrag: Congruence Closure in the Presence of Dependent Types |
| 11.06.2024 | 15:00 | OH12 2.013 | Nicolas Lenz | LS14 / Rehof | MA Einführungsvortrag: Strong Normalization of System F in Cubical Type Theory |