Joachim's web pages [Home] [Math]

Upcoming talks

2014-09-22 Dyson-Schwinger Equations in Modern Mathematics & Physics (ECT*, Trento) Polynomial fixpoint equations and bialgebras of inductive datatypes
2014-10-11 PSSL96 (Palermo) Point-free topology and Hochster duality in derived categories [Abstract]

Recent talks

2014-07-15 Homotopical Algebra Summer Days (Barcelona) Graphs, hypergraphs, and properads [Abstract]
2014-07-01 International Category Theory Conference 2014 (Cambridge) Decomposition spaces, incidence algebras and Möbius inversion [Abstract]
2014-06-04 Workshop on constructive mathematics and models of type theory (Paris) Univalence in locally cartesian closed infinity-categories [Abstract]
2014-05-20 Journées de la Fédération de recherche en mathématiques de Paris-Centre Combinatorial Dyson-Schwinger equations, polynomial functors, and operads of Feynman graphs [Abstract]
2014-04-24 UFPE (Recife) Polynomial functors, infinity-groupoids, and homotopy type theory I
2014-05-06 UFPE (Recife) Polynomial functors, infinity-groupoids, and homotopy type theory II
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]

Less recent talks


Last updated: 2014-07-24 by Joachim Kock.