Tom Schrijvers: Quantified Class Constraints
Torek, 19. 9. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 9. 2017
Niels Voorneveld and Aliaume Lopez: Effectful Applicative Bisimilarity
Torek, 18. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
18. 4. 2017
Andrej Bauer: HoTT HITs
Torek, 11. 4. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 4. 2017
Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 3
Torek, 7. 3. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
7. 3. 2017
Davorin Lešnik: Davorin Lešnik: Theory of cuts, part 2
Torek, 28. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 2. 2017
Mehrdad Maleki: Differentiation in logical form
21. 2. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 2. 2017
Davorin Lešnik: Theory of cuts
Torek, 14. 2. 2017, od 13h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 2. 2017
Håkon Robbestad Gylterud: Iterative multisets and sets in homotopy type theory
Torek, 10. 1. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
9. 1. 2017
Alex Simpson: A generic operational meta-theory for algebraic effects
Torek, 13. 12. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
21. 11. 2016
Andrej Bauer: Instance reducibilities
Torek, 15. 11. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
14. 11. 2016
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
