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
Žiga Lukšič: Types with local algebraic theories
Četrtek, 29. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
27. 11. 2018
Edward William Ayers: Human-like automated reasoning
Četrtek, 22. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
19. 11. 2018
Gavin Bierman: Future directions for Java
Četrtek, 15. 11. 2018, od 12h do 14h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
12. 11. 2018
Philipp Georg Haselwarter: Andromeda 2.0
Četrtek, 8. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
7. 11. 2018
Alex Simpson: Synthetic probability theory
Četrtek, 25. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
19. 10. 2018
Zvonko Iljazović: Computable topological type
Četrtek, 18. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
16. 10. 2018
Danel Ahman: Directed Containers (or monoids, actions, dependent types, and more)
Četrtek, 11. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 10. 2018
