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

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

I want to receive the news from this source by email »

17. 3. 2014 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar Joao Pita Costa: Towards a topos foundation of persistence Torek, 18. 2. 2014, od 12h do 14h, Plemljev seminar, Jadranska 21
13. 1. 2014 | Mathematics and theoretical computing seminar 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
Archive: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007