Predstavitvi teme doktorske disertacije: Žiga Lukšič in Anja Petković

Datum objave: 6. 5. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek 9. 5. 2019, od 10.30 do 12.05, Plemljev Seminar, Jadranska 19

V četrtek 9. maja bosta imela Žiga Lukšič in Anja Petković javni predstavitvi teme doktorske disertacije, in sicer:

  • od 10.30 do 11.15 bo Žiga Lukšič predstavil svojo temo disertacije z naslovom "Uporaba teorij algebrajskih učinkov" (Applications of algebraic effect theories);
  • od 11.20 do 12.05 bo Anja Petković predstavila svojo temo disertacije z naslovom "Transformacije teorij tipov z uporabo v oblikovanju formalnih dokazov" (Transformations of type theories with an application to the design of formal proofs).

Obe predstavitvi bosta v angleškem jeziku.