Anja Petković Komel: Meta-analysis of type theories with an application to the design of formal proofs (doctoral defence)

Zoom link

Anja Petković Komel will defend her doctoral thesis »Meta-analysis of type theories with an application to the design of formal proofs« (»Meta-analiza teorij tipov z uporabo v oblikovanju formalnih dokazov«) on Tuesday 21 December 2021 at 12.00 in the lecture room 3.07 at Jadranska 21. The defence will also be streamed via ZOOM (link above).

Committee:

• prof. dr. Sandi Klavžar,
• doc. dr. Matija Pretnar (president of the committee),
• izr. prof. dr. Bas Spitters (Aarhus Universitet, Denmark),
• dean prof. dr. Tomaž Košir (chair).