A collaborative research seminar

AI MathWin Seminar

The AI MathWin Seminar brings researchers and students together to discuss artificial intelligence and mathematics.

Find seminar announcements here, browse previous talks, and use the references page for related material.

Explore previous talks Browse references

The people behind the seminar

Organizers

  • Abdelmouksit SAGUENI
  • Oussama BENABIDA
  • Adem ZEGHIB

What we explore

Our interests

  • AI for mathematics.
  • The future of mathematics and mathematicians.
  • Formalization of mathematics.