28.03.2025, 3:00 pm Verteidigung der Masterarbeit von William Kähms Reconstruction of higher-order automated proofs with external first-order cooperation show event
03.04.2025, 8:15 am Verteidigung der Masterarbeit von Johannes Johnke Lösung von Optimalsteuerungsproblemen mit Matlab show event
03.04.2025, 2:15 pm 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… show event
