## Constructive Type Theory and Homotopy

In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in terms of Quillen model categories and higher-dimensional categories. This talk will survey some of these developments.

## Localization and Thermalization in Highly-Excited Many-Body Quantum Systems

**ANALYSIS/MATHEMATICAL PHYSICS SEMINAR**

## A Reidemeister-Singer Conjecture for Surface Diagrams

There is a way to specify any smooth, closed oriented four-manifold using a surface decorated with simple closed curves, something I call a surface diagram. In this talk I will describe three moves on these objects, two of which are reminiscent of Heegaard diagrams for three-manifolds. These may form part of a uniqueness theorem for such diagrams that is likely to be useful for understanding Floer theories for non-symplectic four-manifolds.

## Lecture 7

## Relative p-Adic Hodge Theory

## Workshop on Topology: Identifying Order in Complex Systems

## Characteristics of Coarsening Cellular Structures in 2D

## Fundamental Groups of Random Simplicial Complexes

## Patterns, Universality and Computational Algorithms

Can we use computational algorithms to make accurate predictions of physical phenomena? In this talk, intended for non-experts, I will give examples where complicated space-time phenomena can be exquisitely captured with simple computational algorithms, that not only produce patterns resembling those seen in experiment, but also make accurate predictions about probes of dynamics and spatial organisation, such as correlation functions. I use examples from condensed matter physics, as well as from geophysics.