[Mittagsseminar TI] Mittagsseminar am Dienstag, 08.10. und Donnerstag 10.10.
- From: Michaela Borzechowski/Krüger <michaela.borzechowski@fu-berlin.de>
- To: "agti-Mittagsseminar@lists.fu-berlin.de" <agti-Mittagsseminar@lists.fu-berlin.de>
- Date: Tue, 8 Oct 2024 09:12:01 +0200
- Subject: [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
- Follow-Ups:
- [Mittagsseminar TI] Mittagsseminar am Donnerstag 17.10.
- From: Günter Rote <rote@inf.fu-berlin.de>
- [Mittagsseminar TI] Mittagsseminar am Dienstag, 29.10. und Donnerstag 31.10.
- From: Günter Rote <rote@inf.fu-berlin.de>
- [Mittagsseminar TI] Mittagsseminar am Donnerstag 17.10.
-
agti-Mittagsseminar - Fourth quarter 2024 - Archives indexes sorted by:
[ thread ] [ subject ] [ author ] [ date ] - Complete archive of the agti-Mittagsseminar mailing list
- More info on this list...