Mechanization and Mathematical Research

You can apply to participate in this workshop till June 9th 2025 using the registration link on the right. Junior mathematicians in particular are encouraged to apply. Please note that the workshop has a limited capacity and we may need to select participants. We will inform you of the outcome before the end of June.

This workshop will convene an intellectually diverse group — including mathematicians, computer scientists, engineers, historians, philosophers, social scientists, and policymakers — to discuss how rapid developments in technology will change the practice of mathematical research. Rather than being a strictly technical conference, the aim is to spark debate and to encourage the mathematical research community to reflect on the implications and take a deliberate role in shaping its future.