You must enable JavaScript to use this site

  • Workshop on Artificial Intelligence for Mathematics (AI4Math)

    (Tentative) Program

    Time Talk (Speaker)
    9:00 - 10:00 A Decade of ATP Tuning: Machine Learning, Strategy Invention, and AI in the Future (Jan Jakubův, Invited Speaker)
    10:00 - 10:30
    10:30 - 10:50 Contributed Talk 1
    10:50 - 11:10 Contriubted Talk 2
    11:10 - 11:30 Contributed Talk 3
    11:30 - 11:50 Contributed Talk 4
    11:50 - 12:10 Contributed Talk 5
    12:10 - 12:30 Closing Remarks

  • News

    • Program online
    • Deadline for early registration extended
    • Registration open
    • Tutorials announced
    • Accepted papers announced
    • Deadline for Workshops/Tutorials extended
    • Invited Speakers online
    • Call for Workshops/Tutorials online
    • CfP online
    • Initial website online
Privacy policy and legal information
Last modified: August 31 2026 13:35:38 CEST