Predstavitev teme doktorske disertacije: Jure Taslak, Domenska teorija tipov za končno matematiko
Datum objave: 24. 5. 2023
Predstavitev teme doktorske disertacije na Oddelku za matematiko
petek
26
maj
Ura:
14.00 - 16.00
Lokacija:
predavalnica 3.07 na FMF, Jadranska 21, 3. nadstropje, in na daljavo
Jure TASLAK, študent 2. letnika doktorskega študijskega programa 3. stopnje Matematika in fizika, smer Matematika, bo imel javno predstavitev teme oziroma dispozicije doktorske disertacije z naslovom »Domenska teorija tipov za končno matematiko« oziroma »Domain-specific type theory for finite mathematics« v petek, 26. 5. 2023, ob 14.00 v predavalnici 3.07 na FMF, Jadranska 21, 3. nadstropje, ter na daljavo (videokonferenca preko aplikacije ZOOM).
Vljudno vabljeni!