Scan to see all details
on
ScholarLattice.org
!
Grand Opening Symposium
Our official launch event as an AIM Research Community
Schedule
All times Eastern Time (US & Canada).
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