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 »

15. 1. 2018 | Mathematics and theoretical computing seminar Alex Simpson: Contextual equivalence for algebraic effects under call-by-value, illustrated using combined probability and nondeterminism Četrtek, 18. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
8. 1. 2018 | Mathematics and theoretical computing seminar Matija Pretnar: Explicit Effect Subtyping Torek, 9. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007