Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU
Berlin spricht am
Dienstag, 08.10.2024, 12:00 Uhr, SR 055, Takustraße 9
Michaela Borzechowski
zum Thema: Proof Complexity and TFNP Part 1 - Introduction
und
Donnerstag, 10.10.2024, 12:30 Uhr (!!), SR 055,
Takustraße 9
Simon Weber
zum Thema: Proof Complexity and TFNP Part 2 - Concrete
Examples