[Mittagsseminar TI] Mittagsseminar am 24.07.2025

From: Wolfgang Mulzer &lt; mulzer@inf.fu-berlin.de &gt;
To: agti-Mittagsseminar@lists.fu-berlin.de
Date: Wed, 23 Jul 2025 23:43:22 +0200
Subject: [Mittagsseminar TI] Mittagsseminar am 24.07.2025

Wolfgang Mulzer <mulzer@inf.fu-berlin.de> · Wed, 23 Jul 2025 23:43:22 +0200

Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin
spricht am

      Donnerstag, 24.7.2025, 12:00 Uhr, SR 055, Takustraße 9
       Thomas Strama

      zum Thema: Vergleich verschiedener Datenstrukturen hinsichtlich 

ihrer Performance

      Donnerstag, 24.7.2025, 12:30 Uhr, SR 055, Takustraße 9
       Michaela Schreiber

      zum Thema: Untersuchung zum Status computergestützter 

mathematischer Beweise am Beispiel des Beweises der Keplerschen Vermutung

These are two BSc-defenses. They will both be given in German.

smime.p7s