Building Ukraine’s Future in Mathematics (подія в архіві)

The Ukrainian Catholic University invites researchers, educators, students, and industry professionals to a special event presenting the vision for the Center of Excellence in Formal Methods and Verification.
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.

Program
16:30–16:35
Welcome remarks
Anna Omizo — National Academies Foundation
16:35–16:40
The role of UCU in advancing mathematics and AI research
Yaroslav Prytula — Ukrainian Catholic University
16:40–17:00
The vision behind the Center of Excellence in Formal Methods and Verification
David Spergel
17:00–17:15
Introducing the Center: plans, priorities, and opportunities for collaboration
Oleksii Ignatenko
17:15–17:30
Discussion and Q&A
17:30–18:15
Roundtable: How AI Will Change Mathematics, Proofs, and Education

Speakers:
David Spergel
Jeremy Avigad
Moderator:
Oleksii Ignatenko
18:15–18:30 a.m.
Networking and open discussion

📅 July 24
🕤 16:30-18:30 EEST (9:30–11:30 a.m. EDT)
📍 Philadelphia Marriott Downtown, Room 304–306

Registration: forms.gle/DLUAyVVp9pi4scCV8
Facebook: www.facebook.com/events/1357943909141045
The livestream link will be sent to all registered participants prior to the event.
We look forward to welcoming everyone interested in the future of mathematics, formal verification, and AI-enabled research in Ukraine.

💡 Усі статті, обговорення, новини для початківців — в одному місці. Приєднуйтесь до Junior спільноти!