Title: The simply typed 2λ-calculus Abstract: 2λ-calculus is a language with three levels: types, terms, and rewrites. I will explore their properties and give categorical description of the equational theory […]
Title: Abstract:
From Stochastic to Deterministic: SGD dynamics of non-convex models in high dimensionsStochastic gradient descent (SGD) stands as a cornerstone of optimization and modern machine learning. However, understanding why SGD performs […]
Title and abstract TBA
Title: Discrete Series and Infinitesimal Characters Abstract: The infinitesimal character is an important invariant of an irreducible representation of a real group. We expect particularly nice representations of the group […]
Title: Recovery of time-dependent coefficients in hyperbolic equations on Riemannian manifolds from partial data.Abstract: In this talk we discuss inverse problems of determining time-dependent coefficients appearing in the wave equation […]
Title: Analytic stacks
Title: Properties of log canonical singularities in positive characteristic.Abstract: We will investigate if some well known properties of log canonical singularities over the complex numbers still hold true over perfect fields of […]
Title: Covers of P^1 and number fields Abstract: Let $n$ be an integer. Via the Minkowski embedding, an order $mathcal{O}$ in a degree $n$ number field can be seen as […]