Domov > Obvestila > Seminar za osnove matematike in teoretičnega računalništva v letu 2013

Seminar za osnove matematike in teoretičnega računalništva v letu 2013

Obvestila iz tega vira želim prejemati preko elektronske pošte »

16. 12. 2013 | Seminar za osnove matematike in teoretičnega računalništva Boštjan Gabrovšek: Klasifikacija vozlov v lečastih prostorih Torek, 16. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
9. 12. 2013 | Seminar za osnove matematike in teoretičnega računalništva Ivo List: Optimization using Extended Interval Arithmetic Torek, 10. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
2. 12. 2013 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Kan simplicial sets – what's their problem? Torek, 3. 12. 2013, od 12h do 14h, Plemljev seminar, Jadranska 21
25. 11. 2013 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Formalizacija realnih števil 2 Torek, 26. 11. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 11. 2013 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: "Konstruktivna matematika: kdo jo potrebuje" Torek, 18. 11. 2013 od 12h do 14h, Plemljev seminar, Jadranska 19
12. 11. 2013 | Seminar za osnove matematike in teoretičnega računalništva 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
4. 11. 2013 | Seminar za osnove matematike in teoretičnega računalništva Christopher A. Stone: Fixed points, lattices, and data flow analysis Torek, 5. 11. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
28. 10. 2013 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Formalizacija realnih števil Torek, 29. 10. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
27. 5. 2013 | Seminar za osnove matematike in teoretičnega računalništva Urban Jezernik: Še snopi v algebri Torek, 28. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 5. 2013 | Seminar za osnove matematike in teoretičnega računalništva Špela Špenko: Snopi v algebri Torek, 21. 5. 2013, od 12h do 14h, Plemljev seminar, Jadranska 19
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
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007