Geometry, Dynamics, and Computer-Assisted Proofs

Date: 10 - 12 June 2026

Location: Heidelberg University

The fields of geometry, dynamics, and geometric group theory have become increasingly intertwined over the past few decades, with deep connections emerging between their fundamental structures and techniques. At the same time, computer aided proofs have grown into a powerful tool in mathematical research, beginning with Haken’s groundbreaking resolution of the four-color problem. This conference seeks to bring together researchers and students from these fields to explore their rich interplay and the ways in which computational methods can advance our understanding of key problems.

CMI Enhancement and Partnership Program