Mittwoch, 13.05.2026
On verifying computational systems. From functional to non-functional properties
16:45 - 18:15 Uhr
Seminarraum VI (Theologie, 1. Stock), Karl-Rahner-Platz 3, 6020 Innsbruck
Anmeldung ist nicht erforderlich
Eintritt / Kosten: Keine
Vortragende/r
Giuseppe Primiero
Giuseppe Primiero is Professor of Logic with the Logic, Uncertainty, Computation and Information Lab in the Department of Philosophy at the University of Milan, Italy. He acts as Scientific Director for PHILTECH, Research Center for The Philosophy of Technology and as Programme Leader for the Master's Degree in Human-Centered AI. He is co-founder and Chief Research Officer of MIRAI.
Weitere Informationen
Veranstalter
Institut für Christliche Philosophie