Prof. Dr. Klaus Mainzer wird im Workshop "Types, Homotopy Type theory, and Verification" einen Fachvortrag halten zum Thema:
"Algorithms of Type and Proof Checking, Towards Univalent Foundations of Mathematics and Computer Science"
Termin: Dienstag, 5. Juni 09:30 - 10:30
Ort: Vortragssaal HIM, Poppelsdorfer Allee 45, 53115 Bonn
Weitere Informationen sowie ein Abstract finden Sie hier.