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 »

24. 8. 2015 | Mathematics and theoretical computing seminar A denotational semantics for Hindley-Milner polymorphism Torek, 25. 8. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 5. 2015 | Mathematics and theoretical computing seminar Tom Schrijvers: GADTs Meet their Match Torek, 26. 5. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 4. 2015 | Mathematics and theoretical computing seminar Matija Pretnar: Kako za tisočkrat pohitrimo Eff Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 4. 2015 | Mathematics and theoretical computing seminar Pierre-Marie Pédrot: Can Dialectica Break Bricks? Torek, 13. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 3. 2015 | Mathematics and theoretical computing seminar Andrej Bauer: Implementacija teorije tipov s pravilom refleksije Torek, 31. marec 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 3. 2015 | Mathematics and theoretical computing seminar Alex Simpson: Modalities of effectful computation Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 3. 2015 | Mathematics and theoretical computing seminar Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups, part 2 Torek, 10. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
2. 3. 2015 | Mathematics and theoretical computing seminar Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups Torek, 3. marec 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007