Danel Ahman: Runners in action
Četrtek, 7. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
23. 9. 2019
Egbert Rijke: Localizations in Homotopy Type Theory
Četrtek, 19. 9. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
17. 9. 2019
Egbert Rijke: Group theory in univalent mathematics
Četrtek, 27. 6. 2019, od 13h do 15h, učilnica 2.04, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
24. 6. 2019
Florian Rabe: Defining Formal Systems in MMT
Četrtek, 13. 6. 2019, od 14h do 16h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
20. 5. 2019
Andrej Bauer: Coop
Četrtek, 16. 5. 2019, Jadranska 21, učilnica 3.07
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
6. 5. 2019
Žiga Sajovic: Operational Calculus for Differentiable Programming
Četrtek, 25. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
15. 4. 2019
Danel Ahman: Shonan Meeting trip report
Četrtek, 11. 4. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
11. 3. 2019
Niels Voorneveld: PIHOC workshop report
Četrtek, 7. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
4. 3. 2019
