Predstavitev rezultatov raziskovalnega dela pred zagovorom doktorske disertacije: Anja Petković Komel, Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov

Datum objave: 10. 11. 2021
Predstavitev doktorske disertacije pred javnim zagovorom doktorske disertacije na Oddelku za matematiko
četrtek
25
november
Ura:
10.15 - 11.45
Lokacija:
predavalnica 3.07 na Jadranski 21/III

Anja PETKOVIĆ KOMEL, absolventka doktorskega študijskega programa 3. stopnje Matematika in fizika, smer Matematika, bo predstavila rezultate raziskovalnega dela pred zagovorom doktorske disertacije z naslovom »Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov« oziroma »Meta-analysis of type theories with an application to the design of formal proofs« članom Komisije za spremljanje doktorskega študenta, mentorju in širši matematični publiki v četrtek, 25. 11. 2021, ob 10.15 v predavalnici 3.07 na Jadranski 21/III.

Vljudno vabljeni!