I have put some effort into gathering in one place all the important deadlines and events related to using AI for verified reasoning. I focused on the verification side.

What should be in the calendar:

  • deadlines for paper submission
  • major AI conferences, and smaller ones that host talks related to reasoning
  • conferences and events related to applications and development of tools like Lean, Rocq, Iris 2, Isabelle, Dafny
  • deadlines for some job offers from Lean Zulip channel

Enjoy :)

https://github.com/ruplet/AI-for-Math-calendar-2026/tree/main