Zum Inhalt
Fakultät für Informatik

2025

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
06.05.2025 14:00 OH12 2.013 Alexandra Latys LS14 / Rehof MA Einführungsvortrag: Analysing Simple Formally Verified Models of Computation
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