[Mittagsseminar TI] Mittagsseminar am Dienstag, 08.10. und Donnerstag 10.10.


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