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 »

27. 10. 2014 | Mathematics and theoretical computing seminar Andrej Bauer: Andromedanska teorija tipov Torek, 28. 10. 2014 od 12h do 14h, Plemljev seminar, Jadranska 19
20. 10. 2014 | Mathematics and theoretical computing seminar Matija Pretnar: Izpeljava algebrajskih učinkov, 2. del Torek, 21. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
12. 10. 2014 | Mathematics and theoretical computing seminar Matija Pretnar: Izpeljava algebrajskih učinkov, 1. del Torek, 14. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
6. 10. 2014 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar Tomaž Pisanski: Delavnica Sage Torek, od 10h do 12h, Plemljev seminar, Jadranska 19
12. 5. 2014 | Mathematics and theoretical computing seminar Andrej Bauer: Impredicative encodings Torek, 13. 5. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
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