Pierre-Marie Pédrot: The Definitional Side of the Forcing
Torek, 11. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
10. 10. 2016
Alex Simpson: Relating point-free and algorithmic randomness
Torek, 4. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
16. 5. 2016
Klaus Keimel: The Cuntz Semigroup
Torek, 10. 5. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
3. 5. 2016
Alex Simpson: Fibrational Models for Relational Parametricity
Torek, 05. 04. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
4. 4. 2016
Matthias Schröder: Sequentially locally convex QCB-spaces
Torek, 1. 3. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
27. 2. 2016
Andrej Bauer: On self-interpreters for lambda calculi
Torek, 23. 2. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
22. 2. 2016
Egbert Rijke: The loop space of the 2-sphere
Torek, 26. 1. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 1. 2016
Willem Fouché: On infinitesimal stochastic independence
Četrtek, 28. januarja 2016, ob 14:15 v predavalnici 3.05 na FMF, Jadranska 21
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
11. 1. 2016
Aleš Bizjak: Guarded Dependent Type Theory: Syntax and Semantics
Torek, 5. 1. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
14. 12. 2015
Niels Vorneeveld: Representability in partial combinatory algebras
Torek, 8. 12. 2015, od 12h do 14h, Plemljeve seminar, Jadranska 19
Mathematics and theoretical computing seminar
7. 12. 2015
Andrej Bauer: Domain Theory for Real number computation 2
Torek, 1. 12. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
30. 11. 2015
Andrej Bauer: Domain theory for real number computation
Torek, 24. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
23. 11. 2015
Jeff Egger: On the social life of generalised Hilbert objects
Torek, 17. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
16. 11. 2015
Burak Ekici: Relative Hilbert-Post completeness for exceptions
Torek, 10. 11. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
9. 11. 2015
