Seminar za osnove matematike in teoretičnega računalništva 
Obvestila iz tega vira želim prejemati preko elektronske pošte »
14. 5. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Andrej Bauer: Spomladanski snopi iz dveh zornih kotov
Torek, 14. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 4. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Andrej Bauer: Spomladanski snopi I
Torek, 23. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
15. 4. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
8. 4. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Anatomija programskega jezika Eff, 2. del
Torek, 9. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 4. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Torek, 2. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 3. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Monade in algebrajski učinki
Torek, 26. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 3. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Izpeljava tipov, 2. del
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
4. 3. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Seminar za osnove jutri odpade
Seminar za osnove matematike in teoretičnega računalništva jutri (5. marca 2013) odpade. Naslednji seminar bo najverjetneje prihodnji teden, torej v torek, 12. marca 2013.
25. 2. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: Izpeljava tipov
Torek, 26. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 2. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: λ-račun s tipi
Torek, 19. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 1. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Matija Pretnar: λ-račun
Torek, 15. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 1. 2013 | Seminar za osnove matematike in teoretičnega računalništva
Miha Habič: Turingovi stroji z neskončnim časom
Torek, 8. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19