[Mittagsseminar TI] Mittagsseminar am 27. Juli 2017


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

         Donnerstag, 27.7.2017
         Tillmann Miltzow

         zum Thema:
         Is area universality ∀∃R-complete? (forall-exists-Ⓡeals-complete)
         (joint work with Michael G. Dobbins, Linda Kleist, Paweł Rzążewski)

***************************************************
Ort: Takustr. 9, Seminarraum 055
Uhrzeit: 12:00 Uhr s.t.
***************************************************