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 »

20. 4. 2015 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Kako za tisočkrat pohitrimo Eff Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
13. 4. 2015 | Seminar za osnove matematike in teoretičnega računalništva Pierre-Marie Pédrot: Can Dialectica Break Bricks? Torek, 13. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Implementacija teorije tipov s pravilom refleksije Torek, 31. marec 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Modalities of effectful computation Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 3. 2015 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva 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
Arhiv za leto: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007