Joachim's web pages [Home] [Math]

Upcoming talks

[No talks scheduled]

Recent talks

2021-04-08 The Topos Institute Collloquium Noncrossing hyperchords and free probability
2021-03-09 Toulouse Petri nets and processes
2020-12-02 UNAM (Mexico) Whole-grain Petri nets and processes
2020-11-25 Western U. Decomposition spaces, incidence algebras and Möbius inversion
2020-11-24 Algebra Colloquium, Augsburg Decomposition spaces, incidence algebras and Möbius inversion
2020-11-12 U. Virginia Homotopy combinatorics and homotopy linear algebra
2020-11-06 Carnegie Mellon U. Decomposition spaces, incidence algebras and Möbius inversion
2020-07-06 International Applied Category Theory Conference ACT2020 Whole-grain Petri nets and processes (keynote presentation) [video recording]
2020-05-21 TallCat (Tallinn) Whole-grain Petri nets and processes
2020-04-16 MIT Categories Seminar The incidence comodule bialgebra of the Baez-Dolan construction
2020-04-01 Algebraic and Combinatorial Perspectives in the Mathematical Sciences Simplicial objects and combinatorial bialgebras
2020-03-12 Montpellier Infinity-operads as polynomial monads
2020-02-21 Mathematical Pearls (Trondheim) Möbius inversion — from number theory to renormalisation
2020-02-17 Trondheim Objective Combinatorics and Decomposition Spaces II
2020-02-10 Trondheim Objective Combinatorics and Decomposition Spaces I [Abstract]
2019-07-13 International Category Theory Conference 2019 (Edinburgh) Operadic categories, decalage, and decomposition spaces [Abstract]
2019-06-17 Trondheim Infinity-operads as polynomial monads
3-7 June 2019 CRM Advanced course: Combinatorics of decomposition spaces
2019-05-24 Current directions in homotopical algebra (Pohang) Operadic categories and 2-Segal spaces [Abstract]
2019-05-07 Kolloquium über reine Mathematik (Hamburg) Combinatorial Dyson-Schwinger equations, polynomial functors, and inductive types [Abstract]
2019-05-07 Hamburg Polynomial functors
2019-04-29 UB Introduction to type theory
2019-04-25 Nice Point-free topology and Hochster duality in derived categories
2019-04-04 HoTTEST Infinity-operads as polynomial monads [Abstract]
2019-02-18 UB From sets and toposes to infinity groupoids and infinity toposes
2019-02-12 Lausanne Infinity-operads as polynomial monads
2019-01-31 Thomas Poguntke Memorial Workshop (Barcelona) Operadic categories and 2-Segal spaces
2018-12-05 Torino From Möbius inversion to renormalisation [Abstract]
2018-11-14 CDR Renormalisation (Clermont-Ferrand) The incidence comodule bialgebra of the Baez-Dolan construction [Abstract]
2018-07-14 International Category Theory Conference 2018 (Ponta Delgada) Infinity-operads as polynomial monads [Abstract]
2018-06-14 Structures in local quantum field theory (Les Houches) Polynomial functors and combinatorial Dyson-Schwinger equations
2017-09-29 Categories for homotopy theory and rewriting (Luminy) Infinity-operads as polynomial monads [Abstract]
2017-09-22 UAB Topology Seminar Infinity-operads as polynomial monads
2017-09-05 OASIS: The Oxford Advanced Seminar on Informatic Structures Infinity-operads as polynomial monads [Abstract]
2017-06-30 Homotopical Methods in Algebra, Geometry and Topology (Malaga) Infinity-operads as polynomial monads
2017-06-16 UAB Topology Seminar Combinatorial Dyson-Schwinger equations and polynomial functors
2017-05-08 Aarhus Combinatorial Dyson-Schwinger equations and polynomial functors [Abstract]
2017-05-08 Aarhus (QGM) Point-free topology and Hochster duality in derived categories [Abstract]
2017-05-02 Copenhagen Decomposition spaces, incidence algebras, and Möbius inversion [Abstract]
2016-06-25 Higher-Dimensional Rewriting and Applications (Porto) Open graphs and hypergraphs
2016-06-02 Paris XIII Faa di Bruno for operads and internal algebras
2016-05-22 PSSL100 (Cambridge) Faa di Bruno for operads [Abstract]
2016-05-13 UAB Topology Seminar Notions of support
2016-05-06 UAB Topology Seminar Pointfree topology
2016-04-21 Barcelona Spring 2016 Workshop on Number Theory and K-theory From zeta functions to Waldhausen's S-construction
2016-02-19 Max Planck Combinatorial Dyson-Schwinger equations, polynomial functors and inductive types
2016-01-27 Categories, Homotopy and Rewriting (Toulouse) Decomposition spaces, incidence algebras, and Möbius inversion [Abstract]
2015-12-07 Mathematical Physics Seminar (Berlin) Polynomial functors and combinatorial Dyson-Schwinger equations [Abstract]
2015-09-10 Category Theory and Algebraic Topology (Louvain-la-neuve) From quasitoposes to infinity quasitoposes [Abstract]
2015-06-02 Stockholm Decomposition spaces, incidence algebras and Möbius inversion [Abstract]
2015-05-19 21st International Conference on Types for Proofs and Programs, TYPES 2015 (Tallinn) Polynomial functors: a general framework for induction and substitution [Abstract]
2015-05-07 YaMCATS (Leeds) Three lectures on polynomial functors [Abstract]
2015-04-21 Workshop on Brave New Algebra: opening perspectives (Barcelona) Point-free topology and Hochster duality in derived categories [Abstract]
2015-04-10 Homotopical Algebra and Geometry (Lancaster) Rudiments of Homotopy Combinatorics [Abstract]
2015-03-25 Australian Category Seminar Schmitt's restriction species, and a related general construction of decomposition spaces
2015-03-18 Australian Category Seminar Decomposition spaces and incidence algebras
2015-03-11 Australian Category Seminar Graphs, hypergraphs and properads, part 2
2015-03-04 Australian Category Seminar Graphs, hypergraphs and properads
2015-02-25 Australian Category Seminar Joyal theorems for homotopical species
2015-01-13 Tropical Seminar Valuations, supports, point-free topology, and constructive algebraic geometry
2014-10-12 PSSL96 (Palermo) Point-free topology and Hochster duality in derived categories [Abstract]
2014-09-26 Dyson-Schwinger Equations in Modern Mathematics & Physics (ECT*, Trento) Polynomial fixpoint equations and bialgebras of inductive datatypes [Abstract]
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]

Less recent talks


Last updated: 2021-04-23 by Joachim Kock.