Thu
26
May
Martín Escardó: Searchable types in HoTT/UF
Mathematics and theoretical computing seminar
10:00 - 3.07
Thu
12
May
Danel Ahman: When programs have to watch paint dry
Mathematics and theoretical computing seminar
10:00 - 3.07
Tue
10
May
Meven Lennon-Bertrand: Bidirectional Dependent Types, Bidirectional Elaboration, Bidirectional Conversion
Mathematics and theoretical computing seminar
15:00 - Jadranska 21, 3.04
Thu
10
Mar
Egbert Rijke: Concrete permutation groups
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
27
Jan
Andrej Bauer: Kako izračunamo izid volitev v državni zbor
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07
Thu
20
Jan
Egbert Rijke: The Hurewicz Theorem in Homotopy Type Theory
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Tue
21
Dec
Anja Petković Komel: Meta-analysis of type theories with an application to the design of formal proofs (doctoral defence)
Mathematics and theoretical computing seminar
12:00 - Jadranska 21, 3.07
Thu
9
Dec
Alex Simpson: Point-free Descriptive Set Theory (bis)
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
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
