Seminar for foundations of mathematics and theoretical computer science

Sewon Park: A Dependent Type Theory (under construction) for Multivalued Computation in Computable Analysis
Četrtek, 16. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
14. 1. 2020
Matjaž Leonardis: Can probability really help us go beyond deductive logic?
Četrtek, 5. 12. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
1. 12. 2019
Alex Simpson: Programming with streams of interdependent random variables: Denotational semantics
Četrtek, 28. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
25. 11. 2019
Alex Simpson: Programming with streams of interdependent random variables: Operational semantics
Četrtek, 21. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
19. 11. 2019
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