Seminar za osnove matematike in teoretičnega računalništva 
I want to receive the news from this source by email »
20. 5. 2013 | Mathematics and theoretical computing seminar
Špela Špenko: Snopi v algebri
Torek, 21. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 5. 2013 | Mathematics and theoretical computing seminar
Andrej Bauer: Spomladanski snopi iz dveh zornih kotov
Torek, 14. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 4. 2013 | Mathematics and theoretical computing seminar
Andrej Bauer: Spomladanski snopi I
Torek, 23. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
15. 4. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
8. 4. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: Anatomija programskega jezika Eff, 2. del
Torek, 9. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
1. 4. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Torek, 2. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 3. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: Monade in algebrajski učinki
Torek, 26. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 3. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: Izpeljava tipov, 2. del
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
4. 3. 2013 | Mathematics and theoretical computing seminar
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 | Mathematics and theoretical computing seminar
Matija Pretnar: Izpeljava tipov
Torek, 26. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 2. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: λ-račun s tipi
Torek, 19. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 1. 2013 | Mathematics and theoretical computing seminar
Matija Pretnar: λ-račun
Torek, 15. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 1. 2013 | Mathematics and theoretical computing seminar
Miha Habič: Turingovi stroji z neskončnim časom
Torek, 8. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19