Alex Simpson: Programming with streams of interdependent random variables: Language definition
Četrtek, 14. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 11. 2019
Danel Ahman: Runners in action
Četrtek, 7. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
4. 11. 2019
Paul Potgieter: The Fox-Lovász-Zhao algorithm for weak graph regularity
Torek, 29. 10. 2019, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 10. 2019
Davorin Lešnik: Haar measure in synthetic topology (Part 2)
Četrtek, 24. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
21. 10. 2019
Davorin Lešnik: Haar measure in synthetic topology
Četrtek, 17. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
14. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 4)
Četrtek, 10. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 3)
Četrtek, 3. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
1. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 2)
Četrtek, 26. 9. 2019, od 10h do 12h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
23. 9. 2019
Egbert Rijke: Localizations in Homotopy Type Theory
Četrtek, 19. 9. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
17. 9. 2019
Egbert Rijke: Group theory in univalent mathematics
Četrtek, 27. 6. 2019, od 13h do 15h, učilnica 2.04, Jadranska 21
Mathematics and theoretical computing seminar
24. 6. 2019
Florian Rabe: Defining Formal Systems in MMT
Četrtek, 13. 6. 2019, od 14h do 16h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
10. 6. 2019
Miha Habič: The generic multiverse, amalgamability, and blockchains
Četrtek, 23. 5. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
20. 5. 2019
Andrej Bauer: Coop
Četrtek, 16. 5. 2019, Jadranska 21, učilnica 3.07
Mathematics and theoretical computing seminar
13. 5. 2019
Predstavitvi teme doktorske disertacije: Žiga Lukšič in Anja Petković
Četrtek 9. 5. 2019, od 10.30 do 12.05, Plemljev Seminar, Jadranska 19
Mathematics and theoretical computing seminar
6. 5. 2019
Žiga Sajovic: Operational Calculus for Differentiable Programming
Četrtek, 25. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
23. 4. 2019
Niels Voorneveld: Quantitative Logics for Equivalence of Effectful Programs
Četrtek, 18. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
15. 4. 2019
Danel Ahman: Shonan Meeting trip report
Četrtek, 11. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 4. 2019
Simona Kašterović: Probabilistic reasoning about typed lambda terms
Četrtek, 28. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
25. 3. 2019
Danel Ahman: Comodels as a gateway for interacting with the external world
Četrtek, 21. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
19. 3. 2019
Andrej Bauer: Ali bi lahko realna števila bila števna?
Četrtek, 14. 3. 2019, od 11h do 13h, učilnica 3.06, Jadranska 21
Mathematics and theoretical computing seminar
11. 3. 2019
