Previous Conferences & Workshops
A Quillen Model Structure in Type Theory
Ramsey Theory for Metric Spaces
Ultrametrics are special metrics satisfying a strong form of the
triangle inequality: For every $x, y, z$, $d(x, z) \impliedby
\max\{d(x, y), d(y, z)\}$. We consider Ramsey-type problems for
metric spaces of the following flavor:
Every metric space...
Quantum Ergodicity on Large Regular Graphs
Nalini Anantharaman
``Quantum ergodicity'' usually deals with the study of
eigenfunctions of the Laplacian on Riemannian manifolds, in the
high-frequency asymptotics. The rough idea is that, under certain
geometric assumptions (like negative curvature), the...
Influences, Traces, Tribes, and Perhaps Also Thresholds
I will describe some recent results and problems regarding
influence of sets of variables on Boolean functions: In 1989 Benny
Chor conjectured that a balanced Boolean function with n variables
has a subset S of size 0.4n with influence (1-c^n) where...
Quantum Theory and Topos Theory
We relate algebraic quantum mechanics (C*-algebras) to topos
theory, so as to capture the essence of quantum logic and quantum
spaces. Motivated by Bohr's idea that the empirical content of
quantum physics is accessible only through classical...
Large Data Dynamics for Nonlinear Dispersive PDEs
We will discuss recent work on wave evolutions for large data.
Particular emphasis will be placed on concentration compactness
ideas. Amongst others, we will describe a result for wave equations
from R^3 minus the unit ball into the sphere S^3 where...