Summary
This award supports participation of US based mathematicians in the conference ``Geometry, Dynamics, and Computer-Assisted Proofs" at Heidelberg University June 10--12, 2026. The conference will bring together researchers and students from the fields geometry, dynamics, and geometric group theory with mathematicians who have been at the forefront of computer-assisted proofs in these areas. The conference will facilitate the exchange of ideas, the exploration of computer-assisted proofs and promote collaboration between experts in fields. The conference will also reinforce cooperation betw
