Mechanization and Mathematical Research

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.