čet
12
Dec
Alex Simpson: A Tutorial on Sheaf Semantics (part 2)
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
5
Dec
Rafaël Bocquet: For the metatheory of type theory, internal sconing is enough
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
28
Nov
Alex Simpson: A Tutorial on Sheaf Semantics
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
7
Nov
Andrew Swan: Introduction to Lifschitz realizability
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
17
Okt
Hajime Ishihara: A constructive theory of uniform spaces and its application to integration theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
10
Okt
Andrew Swan: Computable and non-computable 2-groups
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
čet
22
Avg
Filip Koprivec: Efficient multishot algebraic effect handlers (presentation of results of doctoral research)
Seminar za temelje matematike in teoretično računalništvo
10.15 - predavalnica 3.07, Jadranska 21
čet
27
Jun
Sina Hazratpour: Polynomial Functors in Lean 4
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.06
č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
