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 »

18. 4. 2017 | Mathematics and theoretical computing seminar Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 4. 2017 | Mathematics and theoretical computing seminar Andrej Bauer: HoTT HITs Torek, 11. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 3. 2017 | Mathematics and theoretical computing seminar Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 3 Torek, 7. 3. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
27. 2. 2017 | Mathematics and theoretical computing seminar Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 2 Torek, 28. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 2. 2017 | Mathematics and theoretical computing seminar Mehrdad Maleki: Differentiation in logical form 21. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 2. 2017 | Mathematics and theoretical computing seminar Davorin Lešnik: Theory of cuts Torek, 14. 2. 2017, od 13h do 14h, Plemljev seminar, Jadranska 19
9. 1. 2017 | Mathematics and theoretical computing seminar Håkon Robbestad Gylterud: Iterative multisets and sets in homotopy type theory Torek, 10. 1. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007