Donnerstag, 16.11.2023, 12:00 Uhr, SR 051, Takustraße 9 László Kozma zum Thema: Verification through randomness.