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
Niels Voorneveld: PIHOC workshop report
Četrtek, 7. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
4. 3. 2019
Ohad Kammar: A domain theory for statistical probabilistic programming
Četrtek, 14. 2. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
11. 2. 2019
Anja Petković: Conference report
Četrtek, 31. 1. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
28. 1. 2019
Alex Simpson: Programming with Streams of Correlated Random Variables
Četrtek, 20. 12. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
17. 12. 2018
Gavin Bierman: The Wonder of Cricket
Četrtek, 6. 12. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
3. 12. 2018
