The celebrated localisation theorem of Beilinson-Bernstein asserts that there is an equivalence between representations of a Lie algebra and modules over the sheaf of differential operators on the corresponding flag variety. In this talk we discuss certain analogues of this result in various contexts. Namely, there is a localisation theorem for quantum groups due to Backelin and Kremnizer and, more recently, Ardakov and Wadsley also proved a localisation theorem working with certain completed enveloping algebras of p-adic Lie algebras. We then explain how to combine the ideas involved in these results to construct
a p-adic analytic quantum flag variety and a category of D-modules on it, and we show that the global section functor on these D-modules yields an equivalence of categories.

 I will describe recent progress in the study of scattering amplitudes in gauge theory and gravity at loop level, using the formalism of the scattering equations. The scattering equations relate the kinematics of the scattering of massless particles to the moduli space of the sphere. Underpinned by ambitwistor string theory, this formalism provides new insights into the relation between tree-level and loop-level contributions to scattering amplitudes. In this talk, I will describe results up to two loops on how loop integrands can be constructed as forward-limits of trees. One application is the loop-level understanding of the colour-kinematics duality, a symmetry of perturbative gauge theory which relates it to perturbative gravity.

Superstring scattering amplitudes in genus one have a low-energy expansion in terms of certain real analytic modular forms, called modular graph functions (D'Hoger, Green, Gürdogan and Vanhove). I will sketch the proof that these functions belong to a family of iterated integrals of modular forms (a generalization of Eichler integrals), recently introduced by Francis Brown, which explains many of their properties. The main tools are elliptic multiple polylogarithms (Brown and Levin), single-valued versions thereof, and elliptic multiple zeta values (Enriquez).

This is a survey on recent advances in classical decidability issues for local and global fields and for some canonical infinite extensions of those.

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.