Am Institut für Theoretische Informatik findet folgender Kolloquiumsvortrag statt:
Prof. Dr. Lauri Hella, Tampere University, spricht zum Thema
Models of distributed computing and modal logics
am Dienstag, dem 18.10.22 um 13h c.t. in Raum 3708-1612 (Appelstr. 9a, 16. OG).