Matija Pretnar: Logika in prestrezanje algebrajskih učinkov

Povzetek: Po nekaj seminarjih, na katerih sem predstavil trenutne rezultate svojega doktorskega študija, bom na tokratnem seminarju predstavil izsledke doktorskega dela, ki ga bom naslednji teden zagovarjal na Univerzi v Edinburgu.

Govora bo o algebrajskih učinkih. To so računski učinki (pomnilnik, izjeme, nedeterminizem, ...), ki jih lahko predstavimo z algebrajskimi teorijami. Najprej bom orisal logiko takšnih učinkov, nato pa predstavil njihove prestreznike.

Vabljeni!