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

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

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

12. 12. 2014 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Independence logic and randomness Torek, 16. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
2. 12. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Konstruktivna homotopska teorija, 2. del Torek, 2. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 11. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Konstruktivna homotopska teorija Torek, 25. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 11. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Matematični relativizem Torek, 11. 11. 2014 od 12h do 14h, 2.01, Jadranska 21
3. 11. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Andromedanska teorija tipov 2 Torek, 4. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
27. 10. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Andromedanska teorija tipov Torek, 28. 10. 2014 od 12h do 14h, Plemljev seminar, Jadranska 19
20. 10. 2014 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Izpeljava algebrajskih učinkov, 2. del Torek, 21. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
12. 10. 2014 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Izpeljava algebrajskih učinkov, 1. del Torek, 14. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
6. 10. 2014 | Seminar za osnove matematike in teoretičnega računalništva 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
5. 6. 2014 | Seminar za osnove matematike in teoretičnega računalništva Jan Jona Javoršek: Delavnica iz računskega omrežja Sling Torek, 10. 6. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 5. 2014 | Seminar za osnove matematike in teoretičnega računalništva Tomaž Pisanski: Delavnica Sage Torek, od 10h do 12h, Plemljev seminar, Jadranska 19
12. 5. 2014 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Impredicative encodings Torek, 13. 5. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 3. 2014 | Seminar za osnove matematike in teoretičnega računalništva Joao Pita Costa: Towards a topos foundation of persistence 2 Torek, 18. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 3. 2014 | Seminar za osnove matematike in teoretičnega računalništva 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
4. 3. 2014 | Seminar za osnove matematike in teoretičnega računalništva Kazuto Yoshimura: Weihrauch lattice is a semantic representation of constructive reverse mathematics Torek, 4. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 2. 2014 | Seminar za osnove matematike in teoretičnega računalništva Vito Janko in Gregor Senica: Formalizacija realnih števil, 3. del Torek, 25. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
17. 2. 2014 | Seminar za osnove matematike in teoretičnega računalništva Joao Pita Costa: Towards a topos foundation of persistence Torek, 18. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
13. 1. 2014 | Seminar za osnove matematike in teoretičnega računalništva 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
Arhiv za leto: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007