Alternatively have a look at the program.

## Derived symplectic geometry. Part 1

Shifted symplectic structures have been introduces by Pantev-Toën-Vaquié-Vezzosi in 2011. They allow to unify various constructions of symplectic structures appearing in mathematical physics and algebraic geometry. I will present the main results from Pantev-Toën-Vaquié-Vezzosi and, if type permits, I will report on recent developments in the field, such as:

- the construction of fully extended TFTs of AKSZ type.

- the recent definition of shifted Poisson structures.

## On the relation between $\infty$-categories and model categories

We will report on joint work with Steffen Sagave. First we review the notions of model categories and $\infty$-categories which are both frameworks to deal with homotopy coherence and higher structures. The relation between the two is well understood by now thanks to work of Dugger, Lurie and Joyal. We will explain the relation and if time permits some applications. Our main contribution is to give a symmetric monoidal variant of this story: we prove that symmetric monoidal $\infty$-categories and some sort of symmetric monoidal $\infty$-catgories are essentially the same.

## Factorization homology. Part 1

Factorization homology provides a bridge between higher algebra and the topology of manifolds. It's a good bridge: Ayala and Francis have recently proven the cobordism hypothesis using it. In this lecture series we'll explain how to build this bridge, prove results indicating the utility of the bridge, and, time willing, walk across it a few times.

## Geometric quantization as deformation quantization

I will describe an approach to geometric quantization in terms of deformation quantization in the setting of algebraic symplectic structures. I will explain why it recovers the expected answer for cotangent bundles. One can also modify this approach to understand geometric quantization of (-1) and 1-shifted symplectic structures which I will describe for the case of a derived critical locus.

## Derived symplectic geometry. Part 2

## Spin-net formalism for 3-dimensional topological quantum field theories

The graphical formalism of string nets, due to Levin, Wen and Kirillov, is an elegant way to describe the vector spaces assigned to oriented surfaces in the Turaev-Viro model. It takes as input a spherical fusion category. What happens if one starts with just a "bare" fusion category? I will describe a "spin net" formalism for this case, which applies to surfaces equipped with a spin structure. In this way one obtains representations of the spin mapping class groups of surfaces.

## Factorization homology. Part 2

## Derived symplectic geometry. Part 3

## Quantum BV theories on manifolds with boundary. Part 1

I plan to give an introduction to the programme of perturbative quantization of gauge theories (and in particular, topological field theories of AKSZ type) on manifolds with boundary.