Seminar za temelje matematike in teoretično računalništvo

Joao Pita Costa: Towards a topos foundation of persistence 2
Torek, 18. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 3. 2014
Kazuto Yoshimura: Weihrauch lattice is a semantic representation of constructive reverse mathematics II
Torek, 11. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19, Ljubljana
Seminar za temelje matematike in teoretično računalništvo
10. 3. 2014
Kazuto Yoshimura: Weihrauch lattice is a semantic representation of constructive reverse mathematics
Torek, 4. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 3. 2014
Vito Janko in Gregor Senica: Formalizacija realnih števil, 3. del
Torek, 25. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
24. 2. 2014
Joao Pita Costa: Towards a topos foundation of persistence
Torek, 18. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
17. 2. 2014
Tomaž Stepišnik Perdih: Nekateri algoritmi in računalniški programi za probleme sintetične biologije
Torek, 14. 1. 2014, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 1. 2014
Boštjan Gabrovšek: Klasifikacija vozlov v lečastih prostorih
Torek, 16. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 12. 2013
Ivo List: Optimization using Extended Interval Arithmetic
Torek, 10. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
9. 12. 2013
Andrej Bauer: Kan simplicial sets – what's their problem?
Torek, 3. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
2. 12. 2013
Andrej Bauer: Formalizacija realnih števil 2
Torek, 26. 11. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 11. 2013
Andrej Bauer: "Konstruktivna matematika: kdo jo potrebuje"
Torek, 18. 11. 2013 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
4. 11. 2013
Andrej Bauer: Formalizacija realnih števil
Torek, 29. 10. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
28. 10. 2013
Urban Jezernik: Še snopi v algebri
Torek, 28. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 5. 2013
Špela Špenko: Snopi v algebri
Torek, 21. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 5. 2013
Andrej Bauer: Spomladanski snopi iz dveh zornih kotov
Torek, 14. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 5. 2013
Andrej Bauer: Spomladanski snopi I
Torek, 23. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
22. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 3. del
Torek, 16. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
15. 4. 2013
Matija Pretnar: Anatomija programskega jezika Eff, 2. del
Torek, 9. 4. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
8. 4. 2013