Thu
2
Dec
Alex Simpson: Point-free Descriptive Set Theory (Part 2)
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
11
Nov
Alex Simpson: Point-free Descriptive Set Theory (Part 1)
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
9
Sep
Filip Koprivec: Inheritance with subtyping in Solidity
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Wed
23
Jun
Gaïa Loutchmia: A formalization of second-order syntax and its categorical structure
Mathematics and theoretical computing seminar
10:00 - Spletni seminar
Thu
10
Jun
Andrej Bauer: Instance reducibility and Weihrauch degrees
Mathematics and theoretical computing seminar
10:15
Fri
28
May
Filip Koprivec: Efficient multishot algebraic effect handlers
Mathematics and theoretical computing seminar
14:00 - Spletni seminar
Thu
27
May
Alex Simpson: Equality, Equivalence and Atomic Sheaves (Part 2)
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
20
May
Contextual Categories
Mathematics and theoretical computing seminar
15:00 - Spletni seminar
Thu
13
May
Alex Simpson: Equality, Equivalence and Atomic Sheaves (Part 1)
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
22
Apr
Anja Petković: Equality Checking for Dependent Type Theories: Theoretical foundations
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
8
Apr
Egbert Rijke: A higher encode decode method
Mathematics and theoretical computing seminar
17:30 - Spletni seminar
Thu
18
Mar
Jure Taslak: Regular logic and regular categories (part 2)
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
11
Mar
Jure Taslak: Regular logic and regular categories
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
11
Feb
Jaka Smrekar: The why and how of spectral sequences
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
4
Feb
David Ellerman: The Logical Theory of Canonicity: The Elements & Distinctions Analysis of Morphisms, Duality, Canonicity, and Universal Constructions in Sets
Mathematics and theoretical computing seminar
10:15 - Spletni seminar
Thu
21
Jan
Egbert Rijke: Finite mathematics in homotopy type theory
Mathematics and theoretical computing seminar
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
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
