Seminar for foundations of mathematics and theoretical computer science

Jamie Vicary: Introducing homotopy.io: A proof assistant for geometrical higher category theory
Četrtek, 26. 11. 2020, od 15:00 do 16:00, spletni seminar
Mathematics and theoretical computing seminar
24. 11. 2020
Assia Mahboubi: Machine-Checked Mathematics
Četrtek, 12. 11. 2020, ob 14:15, spletni seminar
Mathematics and theoretical computing seminar
9. 11. 2020
Ohad Kammar: Frex: indexing modulo equations with free extensions
Četrtek, 15. 10. 2020, od 10h do 12h, spletni seminar
Mathematics and theoretical computing seminar
9. 10. 2020
Andrej Bauer: Effects in the real world
Sreda, 7. 10. 2020, od 16:00 do 17:00, spletni seminar
Mathematics and theoretical computing seminar
5. 10. 2020
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