Seminar za temelje matematike in teoretično računalništvo

Filip Koprivec: Proving probabilistic programs correct
Četrtek, 24. 9. 2020, od 10h do 12h, spletni seminar
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
23. 6. 2020
Anja Petković: Equality checking for Finitary type theories
Četrtek, 18. 6. 2020, od 18:00 do 19:00 , spletni seminar
Seminar za temelje matematike in teoretično računalništvo
15. 6. 2020
Conor McBride: Epigram 2: Autopsy, Obituary, Apology
Četrtek, 11. 6. 2020, od 16:00 do 17:00 , spletni seminar
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
2. 6. 2020
Brigitte Pientka: Mechanizing Meta-Theory in Beluga
Četrtek, 28. 5. 2020, od 16:00 do 17:00 , spletni seminar
Seminar za temelje matematike in teoretično računalništvo
25. 5. 2020
Florian Rabe: MMT: A Foundation-Independent Logical System
Četrtek, 21. 5. 2020, od 16:00 do 17:00 , spletni seminar
Seminar za temelje matematike in teoretično računalništvo
15. 5. 2020
Valery Isaev: Arend proof assistant
Četrtek, 30. 4. 2020, od 18h do 19h, spletni seminar
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
24. 2. 2020
Matija Pretnar: Asynchronous operations
Četrtek, 6. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
19. 11. 2019