Geometry, Dynamics, and Computer-Assisted Proofs

The Geometry, Dynamics, and Computer-Assisted Proofs conference gathers researchers and students to explore the interplay between geometry, dynamics, and geometric group theory, with a focus on the role of computational methods in advancing understanding of key problems. It brings together participants to discuss recent developments and collaborative approaches across these fields. The event is hosted by the Clay Mathematics Institute and aims to foster collaboration between theorists and those applying computational proofs to mathematical questions.

The conference welcomes researchers and students in geometry, dynamics, geometric group theory, and related areas.