čet
3
Nov
Andrej Bauer: Countable reals – part II
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
27
Okt
Andrej Bauer: Countable reals – part I
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 4.35
čet
20
Okt
Katarzyna Marek: Dependently-typed regex parsers. Idris2-TyRE and associated project
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
13
Okt
Egbert Rijke: What are schemes?
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
29
Sep
Paul Taylor: Fixed-point theorems
Seminar za temelje matematike in teoretično računalništvo
11.00 - Jadranska 19, Plemljev seminar
čet
22
Sep
Amélia Liao: Displayed Categories as Building Blocks
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
23
Jun
Filip Koprivec: Efficient Compilation of Algebraic Effect Handlers
Seminar za temelje matematike in teoretično računalništvo
10.00 - 3.07
čet
16
Jun
Jure Taslak: Logic for learning
Seminar za temelje matematike in teoretično računalništvo
10.00
čet
9
Jun
Éléonore Mangel: Formalisation of Cartier's delooping of the sign homomorphism
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
2
Jun
Tom de Jong: Domain theory in constructive and predicative HoTT/UF
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
26
Maj
Martín Escardó: Searchable types in HoTT/UF
Seminar za temelje matematike in teoretično računalništvo
10.00 - 3.07
čet
12
Maj
Danel Ahman: When programs have to watch paint dry
Seminar za temelje matematike in teoretično računalništvo
10.00 - 3.07
tor
10
Maj
Meven Lennon-Bertrand: Bidirectional Dependent Types, Bidirectional Elaboration, Bidirectional Conversion
Seminar za temelje matematike in teoretično računalništvo
15.00 - Jadranska 21, 3.04
čet
10
Mar
Egbert Rijke: Concrete permutation groups
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
27
Jan
Andrej Bauer: Kako izračunamo izid volitev v državni zbor
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
20
Jan
Egbert Rijke: The Hurewicz Theorem in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
tor
21
Dec
Anja Petković Komel: Meta-analysis of type theories with an application to the design of formal proofs (doctoral defence)
Seminar za temelje matematike in teoretično računalništvo
12.00 - Jadranska 21, 3.07
čet
9
Dec
Alex Simpson: Point-free Descriptive Set Theory (bis)
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
2
Dec
Alex Simpson: Point-free Descriptive Set Theory (Part 2)
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
11
Nov
Alex Simpson: Point-free Descriptive Set Theory (Part 1)
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
