Assia Mahboubi: Machine-Checked Mathematics
Četrtek, 12. 11. 2020, ob 14:15, spletni seminar
Seminar za temelje matematike in teoretično računalništvo
9. 11. 2020
Ohad Kammar: Frex: indexing modulo equations with free extensions
Četrtek, 15. 10. 2020, od 10h do 12h, spletni seminar
Seminar za temelje matematike in teoretično računalništvo
9. 10. 2020
Andrej Bauer: Effects in the real world
Sreda, 7. 10. 2020, od 16:00 do 17:00, spletni seminar
Seminar za temelje matematike in teoretično računalništvo
5. 10. 2020
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
