Predstavitev teme doktorske disertacije: Jure Taslak, Domenska teorija tipov za končno matematiko

Date of publication: 24. 5. 2023
Presentation of doctoral disposition at the Department of Mathematics
Friday
26
May
Time:
14:00 - 16:00
Location:
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!