Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Felix Laarmann
MA Einführungsvortrag: Coinduction in the Calculus of Dependent Lambda Eliminations
Master-Einführungsvortrag – Lehrstuhl Software Engineering – Arbeitsgruppe Software Engineering mit dem Schwerpunkt Entwicklung evolutionsfähiger Software und Systeme
Dienstag,
07.04.2020,
14:00
–
15:00
Uhr
(geplant)
Raum OH12/2.013