čet
20
Apr
Tom de Jong and Ulrik Buchholz: On acyclic types
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
6
Apr
David Ellerman: To Interpret QM, “Follow the Math” – Math of QM = Hilbert Space version of Partition Math
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
30
Mar
Victor Blanchi: Toward a categorified version of Euler product formula for Riemann zeta function in HoTT
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
26
Jan
Ljupčo Todorovski: Simbolno učenje na grafih
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
19
Jan
Ljupčo Todorovski: Strojno učenje na grafih
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.04
čet
12
Jan
Matej Petković: Agda v obliki za strojne učenjake
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
17
Nov
Paul Potgieter: A nonstandard approach to the Kakeya conjecture
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
10
Nov
Anja Petković Komel: CheckMate – an automated framework for proving security of off-chain protocols
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
č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
