Deutsch|English
DekanatServiceInternesKolloquium

Kolloquium

    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

    zurück zur Liste aller Vorträge