Andrej Bauer: Kan simplicial sets – what's their problem?
Torek, 3. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
2. 12. 2013
Andrej Bauer: Formalizacija realnih števil 2
Torek, 26. 11. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 11. 2013
Andrej Bauer: "Konstruktivna matematika: kdo jo potrebuje"
Torek, 18. 11. 2013 od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
18. 11. 2013
Edward Kmett: What's a wavelet tree? Why do we care?
POZOR: petek, 15. 11. 2013, od 12h do 14h, učilnica 3.06, Jadranska 21
Mathematics and theoretical computing seminar
12. 11. 2013
Christopher A. Stone: Fixed points, lattices, and data flow analysis
Torek, 5. 11. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
4. 11. 2013
Andrej Bauer: Formalizacija realnih števil
Torek, 29. 10. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
28. 10. 2013
Urban Jezernik: Še snopi v algebri
Torek, 28. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 5. 2013
Špela Špenko: Snopi v algebri
Torek, 21. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 5. 2013
Andrej Bauer: Spomladanski snopi iz dveh zornih kotov
Torek, 14. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
14. 5. 2013
Andrej Bauer: Spomladanski snopi I
Torek, 23. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
22. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
15. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 2. del
Torek, 9. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
8. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 1. del
Torek, 2. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
1. 4. 2013
Matija Pretnar: Monade in algebrajski učinki
Torek, 26. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
18. 3. 2013
Matija Pretnar: Izpeljava tipov, 2. del
Torek, 12. 3. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
11. 3. 2013
Seminar za osnove jutri odpade
Mathematics and theoretical computing seminar
4. 3. 2013
Matija Pretnar: Izpeljava tipov
Torek, 26. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 2. 2013
Matija Pretnar: λ-račun s tipi
Torek, 19. 2. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
18. 2. 2013
Matija Pretnar: λ-račun
Torek, 15. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
14. 1. 2013
Miha Habič: Turingovi stroji z neskončnim časom
Torek, 8. 1. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
7. 1. 2013
