Previous Conferences & Workshops

K-theory arose in the 1950s from Grothendieck’s formulation of the Riemann-Roch theorem – that is, from attempts to calculate spaces of sections of vector bundles on a variety X via intersection theory on X.  An equivariant version was introduced...

The fundamental group of an n-dimensional closed hyperbolic manifold admits a natural isometric action on the hyperbolic space $H^n$. If n is at most 3 or the manifold is arithmetic of simplest type, then the group also admits many geometric actions...

Boosting is a fundamental and widely used method in machine learning, which determines that weak learnability of binary functions implies strong learnability. Traditionally, boosting theory has primarily focused on symmetric 0-1 loss functions...

If X is a smooth proper rigid variety over C_p and L is a Z_p-local system on X, the cohomology groups H*(X,L) are finitely generated Z_p-modules by a basic result of Scholze. If L is merely a Q_p-local system, its cohomology groups are still finite...

Geometric and functional inequalities are fundamental in various mathematical areas, such as the calculus of variations, partial differential equations, and geometry. Classic examples encompass the isoperimetric inequality, Sobolev inequalities, and...

A principal challenge in realizing the potential of quantum computing lies in our ability to perform computations fault-tolerantly, in the presence of the noise inherent to quantum devices. Non-Clifford quantum gates, which are analogous to the...

I will discuss recent results for algebraicity of critical values of Spin L-functions for GSp_6. I will also discuss ongoing work toward the construction of p-adic L-functions interpolating these values. I will explain how this work fits into the...

In the 1970s, Viro's method paved an important path in the study of the topology of real algebraic varieties and became a precursor to tropical geometry. This method involves subdividing an integer polytope and using the information from each of its...

After a short crash course in using Lean to formalize mathematics, we will discuss potential applications to and implications for mathematics education, publication, and research.