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. 6. 2016 | Seminar za osnove matematike in teoretičnega računalništva Thomas Streicher: An Effective Spectral Theorem for Bounded Self Adjoint Operators Torek, 21. 6. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 5. 2016 | Seminar za osnove matematike in teoretičnega računalništva Fredrik Nordvall Forsberg: Applications and theory of Higher inductive types Torek 17.05.2016, od 12h do 14h, Plemljev seminar, Jadranska 19
9. 5. 2016 | Seminar za osnove matematike in teoretičnega računalništva Klaus Keimel: The Cuntz Semigroup Torek, 10. 5. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 5. 2016 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Fibrational Models for Relational Parametricity Torek, 05. 04. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
9. 5. 2016 | Seminar za osnove matematike in teoretičnega računalništva Matthias Schröder: Sequentially locally convex QCB-spaces Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
22. 2. 2016 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: On self-interpreters for lambda calculi Torek, 23. 2. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 1. 2016 | Seminar za osnove matematike in teoretičnega računalništva Egbert Rijke: The loop space of the 2-sphere Torek, 26. 1. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
25. 1. 2016 | Seminar za osnove matematike in teoretičnega računalništva Willem Fouché: On infinitesimal stochastic independence Četrtek, 28. januarja 2016, ob 14:15 v predavalnici 3.05 na FMF, Jadranska 21
11. 1. 2016 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Aleš Bizjak: Guarded Dependent Type Theory: Syntax and Semantics Torek, 5. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Arhiv za leto: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007