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
Ohad Kammar: A domain theory for statistical probabilistic programming
Četrtek, 14. 2. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
11. 2. 2019
Anja Petković: Conference report
Četrtek, 31. 1. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
17. 12. 2018
Gavin Bierman: The Wonder of Cricket
Četrtek, 6. 12. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
27. 11. 2018
Edward William Ayers: Human-like automated reasoning
Četrtek, 22. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
19. 11. 2018
Gavin Bierman: Future directions for Java
Četrtek, 15. 11. 2018, od 12h do 14h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
12. 11. 2018
Philipp Georg Haselwarter: Andromeda 2.0
Četrtek, 8. 11. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
7. 11. 2018
Alex Simpson: Synthetic probability theory
Četrtek, 25. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
19. 10. 2018
