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 »

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