Preskoči na glavno vsebino

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

č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
čet
9
Sep
Filip Koprivec: Inheritance with subtyping in Solidity
Seminar za temelje matematike in teoretično računalništvo
10.15 - Spletni seminar
sre
23
Jun
Gaïa Loutchmia: A formalization of second-order syntax and its categorical structure
Seminar za temelje matematike in teoretično računalništvo
10.00 - Spletni seminar
č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