Filip Koprivec: Proving probabilistic programs correct
Četrtek, 24. 9. 2020, od 10h do 12h, spletni seminar
Mathematics and theoretical computing seminar
22. 9. 2020
Anders Mörtberg: Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
Četrtek, 17. 9. 2020, od 15:00 do 16:00, spletni seminar
Mathematics and theoretical computing seminar
10. 9. 2020
Žiga Lukšič: Applications of algebraic effect theories (presentation of results of doctoral research)
Četrtek, 3. 9. 2020, od 11h do 13h , spletni seminar
Mathematics and theoretical computing seminar
21. 8. 2020
William J. Bowman: Cur: Designing a less devious proof assistant
Četrtek, 25. 6. 2020, od 17:00 do 18:00 , spletni seminar
Mathematics and theoretical computing seminar
23. 6. 2020
Anja Petković: Equality checking for Finitary type theories
Četrtek, 18. 6. 2020, od 18:00 do 19:00 , spletni seminar
Mathematics and theoretical computing seminar
15. 6. 2020
Conor McBride: Epigram 2: Autopsy, Obituary, Apology
Četrtek, 11. 6. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
10. 6. 2020
Jon Sterling: redtt and the future of Cartesian cubical type theory
Četrtek, 4. 6. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
2. 6. 2020
Brigitte Pientka: Mechanizing Meta-Theory in Beluga
Četrtek, 28. 5. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
25. 5. 2020
Florian Rabe: MMT: A Foundation-Independent Logical System
Četrtek, 21. 5. 2020, od 16:00 do 17:00 , spletni seminar
Mathematics and theoretical computing seminar
15. 5. 2020
Valery Isaev: Arend proof assistant
Četrtek, 30. 4. 2020, od 18h do 19h, spletni seminar
Mathematics and theoretical computing seminar
28. 4. 2020
Guillaume Brunerie: A general class of dependent type theories
Četrtek, 12. 3. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 3. 2020
Andrej Bauer: There are no intuitionistic space-filling curves
Četrtek, 5. 3. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
29. 2. 2020
Katja Berčič: The joy of mathematical research data
Četrtek, 27. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
24. 2. 2020
Matija Pretnar: Asynchronous operations
Četrtek, 6. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
30. 1. 2020
Dr. Niels Frits Willem Voorneveld: Describing Algebraic Effects: Deriving Algebras from Equations
Četrtek, 30. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
28. 1. 2020
Ugo Dal Lago: On Type Systems for Termination and Complexity Analysis of Probabilistic Higher-Order Programs
Četrtek, 24. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
22. 1. 2020
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
