Rigorosum Paolo BALDI

Posted on 29.07.2015

Der Dekan und der Studiendekan der Fakultät für Informatik laden zur öffentlichen Präsentation und Verteidigung der Dissertation ein und ersuchen um zahlreiches Erscheinen.

Thema: Standard Completeness: Proof-theoretic and algebraic methods (Abstract, PDF)
Ort: Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock