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 »

3. 5. 2016 | Mathematics and theoretical computing seminar Igor Konnov: Model Checking of Threshold-based Fault-tolerant Distributed Algorithms Sreda 4. 5. 2016, od 10h do 12h, Plemljev seminar, Jadranska 19
4. 4. 2016 | Mathematics and theoretical computing seminar Alex Simpson: Fibrational Models for Relational Parametricity Torek, 05. 04. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
27. 2. 2016 | Mathematics and theoretical computing seminar Matthias Schröder: Sequentially locally convex QCB-spaces Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 2. 2016 | Mathematics and theoretical computing seminar Andrej Bauer: On self-interpreters for lambda calculi Torek, 23. 2. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 1. 2016 | Mathematics and theoretical computing seminar Egbert Rijke: The loop space of the 2-sphere Torek, 26. 1. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 1. 2016 | Mathematics and theoretical computing seminar Willem Fouché: On infinitesimal stochastic independence Četrtek, 28. januarja 2016, ob 14:15 v predavalnici 3.05 na FMF, Jadranska 21
11. 1. 2016 | Mathematics and theoretical computing seminar Matija Pretnar: Za algebrajske učinke in prestreznike ne potrebujemo omejitve na vrednosti Torek, 12. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 1. 2016 | Mathematics and theoretical computing seminar Aleš Bizjak: Guarded Dependent Type Theory: Syntax and Semantics Torek, 5. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007