čet
10
Jun
Andrej Bauer: Instance reducibility and Weihrauch degrees
Seminar za temelje matematike in teoretično računalništvo
10.15
pet
28
Maj
Filip Koprivec: Efficient multishot algebraic effect handlers
Seminar za temelje matematike in teoretično računalništvo
14.00 - Spletni seminar
čet
27
Maj
Alex Simpson: Equality, Equivalence and Atomic Sheaves (Part 2)
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
20
Maj
Contextual Categories
Seminar za temelje matematike in teoretično računalništvo
15.00 - Spletni seminar
čet
13
Maj
Alex Simpson: Equality, Equivalence and Atomic Sheaves (Part 1)
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
22
Apr
Anja Petković: Equality Checking for Dependent Type Theories: Theoretical foundations
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
8
Apr
Egbert Rijke: A higher encode decode method
Seminar za temelje matematike in teoretično računalništvo
17.30 - Spletni seminar
čet
18
Mar
Jure Taslak: Regular logic and regular categories (part 2)
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
11
Mar
Jure Taslak: Regular logic and regular categories
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
11
Feb
Jaka Smrekar: The why and how of spectral sequences
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
4
Feb
David Ellerman: The Logical Theory of Canonicity: The Elements & Distinctions Analysis of Morphisms, Duality, Canonicity, and Universal Constructions in Sets
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
čet
21
Jan
Egbert Rijke: Finite mathematics in homotopy type theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Zoom
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
Seminar za temelje matematike in teoretično računalništvo
24. 11. 2020
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
