28.03.2025, 15:00 Uhr Verteidigung der Masterarbeit von William Kähms Reconstruction of higher-order automated proofs with external first-order cooperation Termin anzeigen
03.04.2025, 08:15 Uhr Verteidigung der Masterarbeit von Johannes Johnke Lösung von Optimalsteuerungsproblemen mit Matlab Termin anzeigen
03.04.2025, 14:15 Uhr Festkolloquium Anlässlich des 90. Geburtstages von Prof. Dr. Jürgen Flachsmeyer findet am 03.04.2025 von 14:15 bis 16:00 Uhr im Seminarraum SR 1… Termin anzeigen
