Previous Conferences & Workshops
This talk is intended for a general audience. The recent
discovery of an interpretation of constructive type theory into
abstract homotopy theory has led to a new approach to foundations
with both intrinsic geometric content and a computational...
Abstract Analogues of Flux as Symplectic Invariants
This talk is part of a circle of ideas that one could call
``categorical dynamics''. We look at how objects of the Fukaya
category move under deformations prescribed by fixing an odd degree
quantum cohomology class. This is an analogue of moving...
Galois Representations for Regular Algebraic Cuspidal Automorphic Forms
To any essentially self-dual, regular algebraic (ie
cohomological) automorphic representation of GL(n) over a CM field
one knows how to associate a compatible system of l-adic
representations. These l-adic representations occur (perhaps
slightly...
The Simplicial Model of UA
Chris Kapulkin
The game of Prisoner's Dilemma is the simplest non-trivial game
for two players. It has been studied by game-theory experts for
fifty years. So it came as a big surprise this year when Bill Press
discovered a new set of strategies which allow one...
Toward Higher Inductive Types
A Non-Commutative Analog of the 2-Wasserstein Metric for which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy
Eric Carlen
The Fermionic Fokker-Planck equation is a quantum-mechanical
analog of the classical Fokker-Planck equation with which it has
much in common, such as the same optimal hypercontractivity
properties. In this paper we construct a Riemannian metric
on...