Thu
9
Apr
Janoš Vidali: Automorphism group certificates for cubic vertex-transitive graphs
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
2
Apr
David Ellerman: A Fundamental Duality in the Exact Sciences – an Introduction to Mathematical Metaphysics
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
12
Mar
Bastiaan Cnossen: Synthetic category theory in CaTT
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
5
Mar
Ivan Kobe: CaTT – The internal language of ω-categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
26
Feb
Mabel Najdovski: Extracting computational content from classical proofs
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
19
Feb
Hyunwoo Lee: Accelerating Exact Real Computation Using Dynamic Dependence Analysis
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
12
Feb
Ivan Kobe: (ω,1)-categories vs. topological categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
29
Jan
Ivan Kobe: Grothendieck-Maltsiniotis (ω,n)-categories
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
22
Jan
Junguk Lee: The Ax-Kochen-Ershov principle via residue rings of higher order
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.06
Thu
8
Jan
Yll Buzoku: An introduction to Base-extension Semantics
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
11
Dec
Katja Berčič: Databases of mathematical structures for formalization and AI
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
4
Dec
Luna Strah: Heyting-valued Types
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
27
Nov
Andrej Bauer: Oracle modalities
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
23
Oct
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
16
Oct
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07
Thu
25
Sep
Matija Pretnar: Symmetric programming
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.04
Thu
18
Sep
Ohad Kammar: Modular abstract syntax trees (MAST) – substitution tensors with second-class sorts
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.05
