September 08

• 09:00 AM: Session #1
  • 09:00 AM: Introduction
  • 09:10 AM: Featured Presentation #1.1
    House of Graphs: A database of interesting graphs and more — Jan Goedgebeur
  • 10:05 AM: Featured Presentation #1.2
    Mathlib: Maintaining a monolith — Yaël Dillies
  • 10:50 AM: Conclusion
• 03:00 PM: Session #2
  • 03:00 PM: Introduction
  • 03:10 PM: Featured Presentation #2.1
    The Institute for Computer-Aided Reasoning in Mathematics (ICARM) — Jeremy Avigad
  • 04:05 PM: Featured Presentation #2.2
    HTML Papers on arXiv -- Intent on Accessibility — Deyan Ginev
  • 04:50 PM: Conclusion

September 15

• 09:00 AM: Session #3
  • 09:00 AM: Introduction
  • 09:10 AM: Featured Presentation #3
    Accessible Papers with PreTeXt — Oscar Levin
  • 10:50 AM: Conclusion
• 03:00 PM: Session #4
  • 03:00 PM: Introduction
  • 03:10 PM: Featured Presentation #4.1
    The L-functions and Modular Forms Database — David Roe
  • 04:05 PM: Featured Presentation #4.2
    Lessons from Software on Managing Complexity — Jeremy Kun
  • 04:50 PM: Conclusion