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
Zvonko Iljazović: Computable topological type
Četrtek, 18. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
8. 10. 2018
Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions (part 2)
Četrtek, 4. 10. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
1. 10. 2018
David Ellerman: A graph-theoretic algorithm to define any Boolean operation on set partitions
Četrtek, 20. 9. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
17. 9. 2018
Anja Petković: On computing simultaneous fixed points of monotone piecewise linear functions
Četrtek, 13. 9. 2018, ob 13:15 v predavalnici 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
10. 9. 2018
Matija Pretnar: Logika z lokalnimi algebrajskimi teorijami
Sreda, 1. 8. 2018, ob 11:15 v predavalnici 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
31. 7. 2018
Matteo Mio: Axiomatisation of Probabilistic Logics
Torek, 26. 6. 2018, od 12h do 14h, 3.04 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
22. 6. 2018
Danel Ahman: A fibrational view on computational effects
Četrtek, 31. 5. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
28. 5. 2018
Matija Pretnar: Prestrezniki algebrajskih učinkov
Sreda, 9. 5. 2018, ob 13:15 v predavalnici P02 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
8. 5. 2018
Matija Pretnar: Odstopajoči obhodi / Quirky traversals
Četrtek, 12. 4. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
11. 4. 2018
Andrej Bauer: All metric spaces are separable
Četrtek, 22. 3. 2019, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
21. 3. 2018
Niels van der Weide: Construction of certain higher-inductive types as colimits
Četrtek, 15. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
13. 3. 2018
Andrej Bauer: Introduction to categorical logic II
Četrtek, 8. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
Seminar za temelje matematike in teoretično računalništvo
6. 3. 2018
Andrej Bauer: An introduction to categorical logic
Četrtek, 22. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
20. 2. 2018
Niels Voorneveld: Behavioural equivalence via modalities for algebraic effects
Četrtek, 15. 2. 2018, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
12. 2. 2018
Alex Simpson: Contextual equivalence for algebraic effects under call-by-value, illustrated using combined probability and nondeterminism
Četrtek, 18. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
15. 1. 2018
Matija Pretnar: Explicit Effect Subtyping
Torek, 9. 1. 2018, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
8. 1. 2018
Martina Seidl: Proof Systems for Practical QBF Reasoning
Četrtek, 14. 12. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 12. 2017
Andrej Bauer: Command-like expressions for real infinite-precision calculations
Torek, 5. 12. 2017, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
4. 12. 2017
