Alex Simpson: Independence logic and randomness
Torek, 16. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 12. 2014
Andrej Bauer: Konstruktivna homotopska teorija, 2. del
Torek, 2. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
1. 12. 2014
Andrej Bauer: Konstruktivna homotopska teorija
Torek, 25. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
24. 11. 2014
Andrej Bauer: Matematični relativizem
Torek, 11. 11. 2014 od 12h do 14h, 2.01, Jadranska 21
Mathematics and theoretical computing seminar
10. 11. 2014
Andrej Bauer: Andromedanska teorija tipov 2
Torek, 4. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
3. 11. 2014
Andrej Bauer: Andromedanska teorija tipov
Torek, 28. 10. 2014 od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 10. 2014
Matija Pretnar: Izpeljava algebrajskih učinkov, 2. del
Torek, 21. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 10. 2014
Matija Pretnar: Izpeljava algebrajskih učinkov, 1. del
Torek, 14. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 10. 2014
Vladislav Amstislavskiy: On the elementary theories of lattices of continuous functions; Svetlana Aleksandrova: On ∑-definability
Torek, 7. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
6. 10. 2014
Jan Jona Javoršek: Delavnica iz računskega omrežja Sling
Torek, 10. 6. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
5. 6. 2014
Tomaž Pisanski: Delavnica Sage
Torek, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
20. 5. 2014
Andrej Bauer: Impredicative encodings
Torek, 13. 5. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 5. 2014
Joao Pita Costa: Towards a topos foundation of persistence 2
Torek, 18. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
24. 2. 2014
Joao Pita Costa: Towards a topos foundation of persistence
Torek, 18. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
16. 12. 2013
Ivo List: Optimization using Extended Interval Arithmetic
Torek, 10. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
Mathematics and theoretical computing seminar
9. 12. 2013
