| 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 |