Domov > Obvestila > Predstavitev teme doktorske disertacije: Anja Petković, Transformacije teorij tipov z uporabo v oblikovanju formalnih dokazov

Predstavitev teme doktorske disertacije: Anja Petković, Transformacije teorij tipov z uporabo v oblikovanju formalnih dokazov

Datum objave: 7. 5. 2019
Vir: Predstavitev teme doktorske disertacije na Oddelku za matematiko
V četrtek, 9. 5. 2019, ob 11.20 uri v Plemljevem seminarju na Jadranski 19/III.

 

Anja PETKOVIĆ bo imela javno predstavitev teme doktorske disertacije z naslovom »Transformacije teorij tipov z uporabo v oblikovanju formalnih dokazov« oziroma »Transformations of type theories with an application to the design of formal proofs« v četrtek, 9. 5. 2019, ob 11.20 uri v Plemljevem seminarju na Jadranski 19/III.

Vljudno vabljeni!