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 »

25. 11. 2016 | Mathematics and theoretical computing seminar David Ellerman:From Abstract Objects in Mathematics to Objectively Indefinite States in Quantum Mechanics Petek, 25. 11. 2016, od 12h do 13h, učilnica 3.07, Jadranska 21
21. 11. 2016 | Mathematics and theoretical computing seminar Peter LeFanu Lumsdaine: Coherence constructions for models of type theory Torek, 22. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 11. 2016 | Mathematics and theoretical computing seminar Andrej Bauer: Instance reducibilities Torek, 15. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 11. 2016 | Mathematics and theoretical computing seminar Matija Pretnar: Dokazovalni pomočnik Abella Torek, 8. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 10. 2016 | Mathematics and theoretical computing seminar Jaap van Oosten: Classical and relative realizability Torek, 18. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 10. 2016 | Mathematics and theoretical computing seminar Pierre-Marie Pédrot: The Definitional Side of the Forcing Torek, 11. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 10. 2016 | Mathematics and theoretical computing seminar Alex Simpson: Relating point-free and algorithmic randomness Torek, 4. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
20. 6. 2016 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar 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 | Mathematics and theoretical computing seminar Klaus Keimel: The Cuntz Semigroup Torek, 10. 5. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
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
9. 5. 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