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

čet
6
Jun
Fredrik Bakke & Egbert Rijke
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
30
Maj
Andrew Swan: Oracle modalities
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
23
Maj
Vojtěch Štěpančík: Properties of type families over pushouts in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
16
Maj
Fredrik Bakke: Segal Spaces in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
4
Apr
Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effects, part 2
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
28
Mar
Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effects
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
21
Mar
Andrej Bauer: Ko je realnih števil števno mnogo
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
7
Mar
Danel Ahman: Comodule Representations of Second-Order Functionals
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
15
Feb
Andrew Swan: Introduction to cubical models of type theory II
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
1
Feb
Andrew Swan: Introduction to cubical models of type theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
18
Jan
Andrej Bauer: Parametrizirana realizabilnost
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
7
Dec
Andrej Bauer: Jesenska realizabilnost
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
30
Nov
Martin Baillon: Talking with trees
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
9
Nov
Gauvain Devillez: Computer-assisted research in extremal graph theory
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, predavalnica 3.07
čet
2
Nov
Andrej Bauer: Instance reducibility and containers
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
26
Okt
Danel Ahman: An overview of containers and their applications
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
tor
29
Avg
Dan Christensen: Manifolds in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.06
čet
1
Jun
Matej Petković: Strojno učenje iz Agdinih grafov
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
pet
26
Maj
Jure Taslak: Domenska teorija tipov za končno matematiko (predstavitev doktroske teme)
Seminar za temelje matematike in teoretično računalništvo
14.00 - Jadranska 21, 3.07
čet
25
Maj
Danel Ahman: On monads and comonads for bidirected containers
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07