Vabilo na predstavitev zaključne naloge – Luka Svenšek (Računalništvo in informatika, 1. stopnja)

Luka Svenšek, študent univerzitetnega študijskega programa 1. stopnje Računalništvo in informatika bo v ponedeljek, 14. 9. 2026 ob 11:30 v predavalnici Famnit-MP1 predstavil zaključno nalogo z naslovom Dokazovanje pravilnosti programov s pomočjo teorije tipov.

Vljudno vabljeni!