anticache

Fachvortrag von Prof. Klaus Mainzer im Workshop "Types, Homotopy Type theory, and Verification"

05.06.2018


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.