Building Ukraine’s Future in Mathematics

The event will explore how formal methods can strengthen mathematics, computer science, and AI research in Ukraine, while fostering international collaboration and building long-term research capacity. It will also feature a discussion on the growing impact of artificial intelligence on mathematics, proofs, and education