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!