Der Dekan und der Studiendekan der Fakultät für Informatik laden zur öffentlichen Präsentation und Verteidigung der PhD-Arbeit ein und ersuchen um zahlreiches Erscheinen.
Thema: Tools for the Investigation of Substructural, Intermediate and Paraconsistent Logics (Abstract, PDF)
Ort: Seminarraum 183/2 (HA0403), Favoritenstraße 9-11, 1. Stock, 4. Stock