Zum Inhalt
Fakultät für Informatik

2025

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
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