Zum Inhalt
Fakultät für Informatik

2025

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
04.03.2025 14:00 OH12/2.013 Nicolas Lenz LS14 / Rehof MA Abschlussvortrag: Strong Normalization of System F in Cubical Type Theory
21.01.2025 14:30 OH14 105 Constantin Wessels LS14 / Rehof BA Einführungsvortrag: Choreographic Programming with Quantitative Types in Idris 2
21.01.2025 15:15 OH14 105 Benedict Christian Smit LS14 / Rehof MA Abschlussvortrag: Congruence Closure in the Presence of Dependent Types
Zum Seitenanfang