Preskoči na glavno vsebino

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

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
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
Seminar za temelje matematike in teoretično računalništvo
8. 11. 2019
Danel Ahman: Runners in action
Četrtek, 7. 11. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
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
Seminar za temelje matematike in teoretično računalništvo
14. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 4)
Četrtek, 10. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
8. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 3)
Četrtek, 3. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
1. 10. 2019
Egbert Rijke: Localizations in Homotopy Type Theory (Part 2)
Četrtek, 26. 9. 2019, od 10h do 12h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
23. 9. 2019
Egbert Rijke: Localizations in Homotopy Type Theory
Četrtek, 19. 9. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
17. 9. 2019
Egbert Rijke: Group theory in univalent mathematics
Četrtek, 27. 6. 2019, od 13h do 15h, učilnica 2.04, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
24. 6. 2019
Florian Rabe: Defining Formal Systems in MMT
Četrtek, 13. 6. 2019, od 14h do 16h, učilnica 3.07, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
10. 6. 2019