Previous Conferences & Workshops
Kan Simplicial Set Model of Type Theory
Synthetic Differential Cohomology
Today the prevailing method in mathematics is 'analytic', in the
sense that all mathematical objects are broken down into very small
bits. For instance, a space or manifold is regarded as merely a set
of points with structure. By contrast, in a...
The Strauss Conjecture on Black Holes
Mihai Tohaneanu
The Strauss conjecture for the Minkowski spacetime in three
dimensions states that the semilinear equation \[\Box u=|u|^p,\
u(0) =\epsilon f,\ \partial_t u(0) = \epsilon g\] has a global
solution for all $f$ and$g$ smooth, compactly supported and
$...
No Seminar (FOCS Meeting)
Algebraic K-Theory Via Binary Complexes
Daniel Grayson
Quillen's higher K-groups, defined in 1971, paved the way for
motivic cohomology of algebraic varieties. Their definition as
homotopy groups of combinatorially constructed topological spaces
initially seems abstract and inaccessible. In this talk...