Matija Pretnar: Dokazovalni pomočnik Abella
Torek, 8. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2016
Jaap van Oosten: Classical and relative realizability
Torek, 18. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 10. 2016
Pierre-Marie Pédrot: The Definitional Side of the Forcing
Torek, 11. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 10. 2016
Alex Simpson: Relating point-free and algorithmic randomness
Torek, 4. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 10. 2016
Thomas Streicher: An Effective Spectral Theorem for Bounded Self Adjoint Operators
Torek, 21. 6. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 6. 2016
Fredrik Nordvall Forsberg: Applications and theory of Higher inductive types
Torek 17.05.2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 5. 2016
Klaus Keimel: The Cuntz Semigroup
Torek, 10. 5. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 5. 2016
Igor Konnov: Model Checking of Threshold-based Fault-tolerant Distributed Algorithms
Sreda 4. 5. 2016, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 5. 2016
Alex Simpson: Fibrational Models for Relational Parametricity
Torek, 05. 04. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 4. 2016
Matthias Schröder: Sequentially locally convex QCB-spaces
Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 2. 2016
Andrej Bauer: On self-interpreters for lambda calculi
Torek, 23. 2. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
22. 2. 2016
Egbert Rijke: The loop space of the 2-sphere
Torek, 26. 1. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 1. 2016
Willem Fouché: On infinitesimal stochastic independence
Četrtek, 28. januarja 2016, ob 14:15 v predavalnici 3.05 na FMF, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
25. 1. 2016
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
Seminar za temelje matematike in teoretično računalništvo
11. 1. 2016
Aleš Bizjak: Guarded Dependent Type Theory: Syntax and Semantics
Torek, 5. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 1. 2016
Marco Paviotti - Synthetic Guarded Domain Theory: Recursion in Guarded Recursion
Torek, 22. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
21. 12. 2015
Noam Zeilberger: Connections between lambda calculus and graphs on surfaces
Torek, 15. 12. 2015, od 12:30 do 14:00, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 12. 2015
Niels Vorneeveld: Representability in partial combinatory algebras
Torek, 8. 12. 2015, od 12h do 14h, Plemljeve seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 12. 2015
Andrej Bauer: Domain Theory for Real number computation 2
Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
30. 11. 2015
Andrej Bauer: Domain theory for real number computation
Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
23. 11. 2015
