Seminar for foundations of mathematics and theoretical computer science

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
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
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
Mathematics and theoretical computing seminar
10. 9. 2018
Matija Pretnar: Logika z lokalnimi algebrajskimi teorijami
Sreda, 1. 8. 2018, ob 11:15 v predavalnici 3.07 na Jadranski 21
Mathematics and theoretical computing seminar
31. 7. 2018