Repository
Mark Bickford (Cornell University)
Teaching materials to the Skype talk
Thierry Coquand (Goteborg University): Constructive Algebra
Peter Dybjer (Chalmers University of Technology): Intuitionistic Type Theory
- About HIM
- Proposals
- Programs
- Current Trimester Program
- Future Programs
- Past Programs
- Past Trimester Programs
- The Arithmetic of the Langlands Program
- Spectral Methods in Algebra, Geometry, and Topology
- Interactions between Geometric measure theory, Singular integrals, and PDE
- Discrete Optimization
- Harmonic Analysis and Analytic Number Theory
- The Interplay between High-Dimensional Geometry and Probability
- Dynamics: Topology and Numbers
- Evolution of Interfaces
- Logic and Algorithms in Group Theory
- Types, Sets and Constructions
- Periods in Number Theory, Algebraic Geometry and Physics
- Applied and Computational Algebraic Topology
- K-Theory and Related Fields
- Multiscale Problems
- Von Neumann Algebras
- Mathematics of Signal Processing
- Combinatorial Optimization
- Homotopy theory, manifolds, and field theories
- Non-commutative Geometry and its Applications
- Harmonic Analysis and Partial Differential Equations
- Stochastic Dynamics in Economics and Finance
- Arithmetic and Geometry
- Mathematical challenges of materials science and condensed matter physics
- Integrability in Geometry and Mathematical Physics
- Analysis and Numerics for High Dimensional Problems
- On the Interaction of Representation Theory with Geometry and Combinatorics
- Geometry and Dynamics of Teichmüller Spaces
- Rigidity
- Mechanism Design and Related Topics
- Diophantine Equations
- Geometry and Physics
- Complex Stochastic Systems: Discrete vs. Continuous
- Representation Theory, Complex Analysis and Integral Geometry
- Mathematics for Complex Materials
- Past Junior Trimester Programs
- Past Research in Groups
- Past Trimester Programs
- Service
- Events
© 2021 Hausdorff Center for Mathematics