Alex Simpson: A generic operational meta-theory for algebraic effects
Torek, 13. 12. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
12. 12. 2016
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
Mathematics and theoretical computing seminar
25. 11. 2016
Peter LeFanu Lumsdaine: Coherence constructions for models of type theory
Torek, 22. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
21. 11. 2016
Andrej Bauer: Instance reducibilities
Torek, 15. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
14. 11. 2016
Matija Pretnar: Dokazovalni pomočnik Abella
Torek, 8. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
7. 11. 2016
Jaap van Oosten: Classical and relative realizability
Torek, 18. 10. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
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
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
