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
Alex Simpson: Programming with streams of interdependent random variables: Language definition
Četrtek, 14. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
8. 11. 2019
Danel Ahman: Runners in action
Četrtek, 7. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
4. 11. 2019
Paul Potgieter: The Fox-Lovász-Zhao algorithm for weak graph regularity
Torek, 29. 10. 2019, od 10h do 12h, Plemljev seminar, Jadranska 19
Mathematics and theoretical computing seminar
25. 10. 2019
Davorin Lešnik: Haar measure in synthetic topology (Part 2)
Četrtek, 24. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
21. 10. 2019
Davorin Lešnik: Haar measure in synthetic topology
Četrtek, 17. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Mathematics and theoretical computing seminar
14. 10. 2019
