Joachim's web pages [Home] [Math]

Upcoming talks

2014-06-02 Workshop on constructive mathematics and models of type theory (Paris) Univalence in locally cartesian closed infinity-categories [Abstract]
2014-06-29 International Category Theory Conference 2014 (Cambridge) TBA
2014-07-12 Homotopy Days (Barcelona) TBA
2014-09-22 Dyson-Schwinger Equations in Modern Mathematics & Physics (ECT*, Trento) TBA

Recent talks

2013-11-28 Workshop on Algebraic and Geometric Combinatorics (Madrid) Decompositions spaces, incidence algebras, and Moebius inversion [Abstract]
2013-06-07 CMS Summer Meeting, special session on higher categories (Halifax, Canada) Incidence algebras and Moebius inversion in Rezk categories and decomposition spaces [Abstract]
2013-06-01 Foundational Methods in Computer Science (Mount Allison, Canada) Polynomial functors over groupoids: from program semantics to quantum field theory -- and back (two lectures) [Abstract]
2013-05-02 Nice Polynomial Functors over Groupoids: from Program Semantics to Quantum Field Theory [Abstract]
2013-03-21 Mathematical Physics Seminar, ETH Zürich Polynomial functors over groupoids, and combinatorial Dyson-Schwinger equations [Abstract]
2013-03-01 UAB Topology Seminar Homotopy Type Theory II: Inductive and higher inductive types
2013-02-25 Institute for Advanced Study, Princeton Joyal Theorems for Homotopical Species
2013-02-21 Institute for Advanced Study, Princeton Locally cartesian closed infinity categories II
2013-02-18 Institute for Advanced Study, Princeton Locally cartesian closed infinity categories I
2013-02-11 UB Infinity toposes: Giraud axioms and object classifiers
2013-02-01 UAB Topology Seminar Homotopy Type Theory I: Overview and syntax
2012-11-23 ICMAT, Madrid Möbius inversion in general categories [Abstract]
2012-10-19 UAB Topology Seminar Data types with symmetries and polynomial functors over groupoids
2012-10-12 Mathematical Aspects of Hadron Physics (ECT*, Trento) Groupoids and polynomial functors in the combinatorics of Quantum Field Theory [Abstract]
2012-06-21 Nice Groupoids, and Faa di Bruno formulae for Green functions in bialgebras of trees [Abstract]
2012-06-06 28th Conference on the Mathematical Foundations of Programming Semantics (Bath) Data types with symmetries and polynomial functors over groupoids [Abstract] [Conference paper]
2012-05-11 Regensburg Faà di Bruno formulae for Green functions in bialgebras of trees [Abstract]
2012-02-13 Tropical Tutte polynomial survey, part 2: graph colouring and Potts model
2012-02-08 Paris VII Théories topologiques de champs de dimension 2 et algèbres de Frobenius — once again
2012-02-07 Paris VII Groupoids, and Faà di Bruno formulae for Green functions in bialgebras of trees [Abstract]
2012-01-30 Tropical Tutte polynomial, Whitney 2-isomorphism, and survey

Less recent talks


Last updated: 2014-02-20 by Joachim Kock.