Thu
12
Dec
Alex Simpson: A Tutorial on Sheaf Semantics (part 2)
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07
Thu
5
Dec
Rafaël Bocquet: For the metatheory of type theory, internal sconing is enough
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
28
Nov
Alex Simpson: A Tutorial on Sheaf Semantics
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07
Thu
7
Nov
Andrew Swan: Introduction to Lifschitz realizability
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
17
Oct
Hajime Ishihara: A constructive theory of uniform spaces and its application to integration theory
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
10
Oct
Andrew Swan: Computable and non-computable 2-groups
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
22
Aug
Filip Koprivec: Efficient multishot algebraic effect handlers (presentation of results of doctoral research)
Mathematics and theoretical computing seminar
10:15 - predavalnica 3.07, Jadranska 21
Thu
27
Jun
Sina Hazratpour: Polynomial Functors in Lean 4
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, predavalnica 3.06
Thu
6
Jun
Fredrik Bakke & Egbert Rijke
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
30
May
Andrew Swan: Oracle modalities
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
23
May
Vojtěch Štěpančík: Properties of type families over pushouts in Homotopy Type Theory
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, predavalnica 3.07
Thu
16
May
Fredrik Bakke: Segal Spaces in Homotopy Type Theory
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, predavalnica 3.07
Thu
4
Apr
Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effects, part 2
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
28
Mar
Filip Koprivec: Optimising subtyping coercions in a polymorphic calculus with effects
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, predavalnica 3.07
Thu
21
Mar
Andrej Bauer: When there are countably many reals
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
7
Mar
Danel Ahman: Comodule Representations of Second-Order Functionals
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
15
Feb
Andrew Swan: Introduction to cubical models of type theory II
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
1
Feb
Andrew Swan: Introduction to cubical models of type theory
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
18
Jan
Andrej Bauer: Parametric realizability
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, 3.07
Thu
7
Dec
Andrej Bauer: Autumn realizability
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, predavalnica 3.07